A static website compiler library in Haskell
Functional Reactive Programming domain-specific language
A declarative Unix terminal UI library written in Haskell
Translates a plain text description of a relational database schema
A modern proof language
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
Pipe your nix-build output through the nix-output-monitor
Future-proof note-taking and publishing based on Zettelkasten