waymonad
A wayland compositor based on ideas from and inspired by xmonad
HaskellUpdated 5/22/2025
idris-rbtree
Type-safe verified Red-Black Trees in Idris 2
IdrisUpdated 5/6/2025
dyn-drv-ghc.nix
No description provided.
HaskellUpdated 4/9/2025
procex
Ergonomic process launching with extreme flexibility and speed (compared to shh)
HaskellUpdated 3/29/2025
HsOpenSSL
OpenSSL binding for Haskell
Updated 1/2/2025