Haskell to VHDL/Verilog/SystemVerilog compiler
Functional Reactive Programming domain-specific language
The fastest way to build type safe web apps
Pattern language
Lamdu, towards the next generation IDE
A functional, systems programming language with linear types
foundation of the General Intelligence Operating System