A statically typed lisp, without a GC, for real-time applications.
Repository Index
71,372 visible repositories in the index
1–6 of 6 · Most stars
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
- haskell
- postgresql
- nix
- mvc
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
- xmonad
- haskell
- x11
- window-manager
:boom::computer::boom: A data-parallel functional programming language
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Tool that allows to write Erlang NIF libraries in Haskell