- Ivory: an embedded domain-specific language for safer systems programming http://smaccmpilot.org/languages/ivory-introduction.html 4 comments programming
- 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