A functional, systems programming language with linear types
A type-safe, non-TH Haskell SQL library and ORM
Educational computer programming environment using Haskell
Tensors and neural networks in Haskell
Functional reactive web and mobile applications, with batteries
Haskell to JavaScript compiler, based on GHC
Cryptographic currency implementing Ouroboros PoS protocol