NASA releases robotic / flight app generation tool Ogma under Apache licensegithub.com·3 pts·ivanperez-keera·1
Strongly typed logic programming embedding in Haskell (NASA research)old.reddit.com·5 pts·ivanperez-keera·0
NASA's static analyzer IKOS 3.2-rc1 published – Request for testersgithub.com·2 pts·ivanperez-keera·0