Hacker News new | ask | show | jobs
user: ivanperez-keera
created: 2021-12-12
karma: 25

submissions:

0 points | 0 comments
NASA releases robotic / flight app generation tool Ogma under Apache license
3 points | 1 comments
Strongly typed logic programming embedding in Haskell (NASA research)
5 points | 0 comments
The Future of Space Computing
1 points | 0 comments
Static analyzer IKOS 3.2 Released
1 points | 0 comments
NASA's static analyzer IKOS 3.2-rc1 published – Request for testers
2 points | 0 comments
NASA Ogma 1.0.8 released – with FPrime support
2 points | 0 comments
0 points | 0 comments
NASA Ogma 1.0.7 released – with ROS 2 support
2 points | 0 comments
Functional Programming Internship at NASA
17 points | 5 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments