A reference implementation of the SimpleX Messaging Protocol
Haskell code prettifier
Web3 API for Haskell
Compiler for Elm, a functional language for reliable webapps
A feature-rich Unix terminal client for the Mattermost chat system
Fission CLI & server
Dapp, Seth, Hevm, and more
Proof Logic : A logical framework for theorem proving
Collection of scripts for transfinite ordinals computations
A GHC-based Haskell to JavaScript compiler
Functional Arabic Morphology
Power tools for creating Stunts track maps.
wiki engine for small teams
A simple program for comparing data sets with simple algorithms.