Stars
💥 A curated list of Terminal frameworks, plugins & resources for CLI lovers.
An optimized general monad transformer for streaming applications, with a simple prelude of functions
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
A zkSNARK tutorial and development environment
A no-nonsense, no-JavaScript CSS framework, site and documentation theme for content-oriented websites
How to use Markdown to make beautiful presentations with Deckset
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Resources for learning and using recursion schemes.
Generalized bananas, lenses and barbed wire
Mail-in-a-Box helps individuals take back control of their email by defining a one-click, easy-to-deploy SMTP+everything else server: a mail server in a box.
sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal
A (missing) Haskell FFI tutorial: how to work with nested Structs and do bi-directional C<->Haskell interop
🎲 Notes explaining Dirichlet Processes, HDPs, and Latent Dirichlet Allocation
The Jekyll Butler. A no frills responsive Jekyll blog theme.
Implementations of various type systems in OCaml.