A type-safe, non-TH Haskell SQL library and ORM
Web3 API for Haskell
Haskell DSL for describing, serving, querying, mocking web apps
Pattern language
The Stateless Password Manager
A wiki using HAppS, pandoc, and git
A math-inspired CAD program in haskell. CSG, bevels, and shells
Text generation language
Lamdu, towards the next generation IDE
A Haskell to WebAssembly compiler
A Dependently Typed Functional Programming Language
A command line tool to identify unused code
C to Rust translator
realtime 3d surface rendering library
A Linux distro for Vietnamese