C++ Metaprogramming library enabling better static checking and register abstraction in embedded software

Haskell to VHDL/Verilog/SystemVerilog compiler

Infrastructure for solid modeling

A functional programming language based on algebraic effect handlers

A statically typed lisp, without a GC, for real-time applications.