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