ivanperez-keera (u/ivanperez-keera) - Readit News

ivanperez-keera commented on NASA releases robotic / flight app generation tool Ogma under Apache license github.com/nasa/ogma... · Posted by u/ivanperez-keera

ivanperez-keera · 2 months ago

New version of robotic / flight app generation tool, now released as FLOSS under Apache license: https://www.reddit.com/r/haskell/comments/1oo7e9s

Posted by u/ivanperez-keera 2 months ago

NASA releases robotic / flight app generation tool Ogma under Apache license github.com/nasa/ogma...

Posted by u/ivanperez-keera a year ago

Strongly typed logic programming embedding in Haskell (NASA research)old.reddit.com/r/haskell/...

Posted by u/ivanperez-keera 2 years ago

The Future of Space Computing microchip.com/en-us/about...

Posted by u/ivanperez-keera 2 years ago

Static analyzer IKOS 3.2 Released github.com/NASA-SW-VnV/ik...

Posted by u/ivanperez-keera 2 years ago

NASA's static analyzer IKOS 3.2-rc1 published – Request for testers github.com/NASA-SW-VnV/ik...

Posted by u/ivanperez-keera 3 years ago

NASA Ogma 1.0.8 released – with FPrime support old.reddit.com/r/haskell/...

u/ivanperez-keera

KarmaCake day25December 12, 2021View Original