A small strongly typed language that compiles to Erlang (not JavaScript)

A theory‑backed, ultra type‑safe algebraic effects

Pure haskell mysql driver

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

A code-generator for Idris that targets Elixir

Android 2048 game using Yampa FRP library in Eta

Purely functional, persistent and efficient vector and hash-map data structures for Haskell

A geometric algebra implementation in Haskell

Loopless Functional Algorithms (Haskell)

Experimental, type-safe algebraic effects

Spaced repetition of flash cards on the command line

Library for Geometric Algebra in Haskell

🚧 Reflex-Dom utilites. Work in progress. 🚧

Fibers for Eta

PolyP - a polytypic programming language