NASA releases robotic / flight app generation tool Ogma under Apache license g github.com 3 ivanperez-keera 1 year ago 1 comments
Strongly typed logic programming embedding in Haskell (NASA research) o old.reddit.com 5 ivanperez-keera 2 years ago 0 comments
NASA's static analyzer IKOS 3.2-rc1 published – Request for testers g github.com 2 ivanperez-keera 2 years ago 0 comments
NASA Ogma 1.0.8 released – with FPrime support o old.reddit.com 2 ivanperez-keera 3 years ago 0 comments
NASA Ogma 1.0.7 released – with ROS 2 support o old.reddit.com 2 ivanperez-keera 3 years ago 0 comments