- SMACCMPilot: an open-source autopilot software for small unmanned aerial vehicles (UAVs) using a Haskell-based DSL http://smaccmpilot.org/ 3 comments haskell
Linking pages
- The HACMS program: using formal methods to eliminate exploitable bugs - PMC https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5597724/ 0 comments
- Getting Started With FreeRTOS for Xen on ARM - Xen Project https://blog.xenproject.org/2015/02/02/getting-started-with-freertos-for-xen-on-arm-2/ 0 comments
- Why Xen? - Galois, Inc. http://galois.com/blog/2014/09/xen/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:smaccmpilot.org
Search title: SMACCMPilot - index
See how to search.