An advanced keyboard manager
Tensors and neural networks in Haskell
The core of xmonad, a small but functional ICCCM-compliant
Educational computer programming environment using Haskell
A formatter for Haskell source code
A data-parallel functional programming language
A modern proof language
Language, engine, and tooling for testing composable language rules
Embedded language for high-performance array computations