- atom 172 A DSL for embedded hard realtime applications.
- improve 33 An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
- verilog 17 A Verilog parser for Haskell.
- ecu 14 Utilities for automotive ECU development.
- mecha 13 A solid modeling language in Haskell.