The universal markup converter
A static analysis tool for shell scripts
The first messaging platform operating without user identifiers
Dockerfile linter, validate inline bash, written in Haskell
A reference implementation of the SimpleX Messaging Protocol
Robust, fast, intuitive plain text accounting tool with CLI
A math-inspired CAD program in haskell. CSG, bevels, and shells
Wire back-end services
Pandoc filter for cross-references
Pattern language
Terminal-based presentations using Pandoc
Ethereum smart contract fuzzer
Public files of alphabit.org domain
Command-line interface for Fission
A GHC-based Haskell to JavaScript compiler
Functional Arabic Morphology
realtime 3d surface rendering library
MDA support for Alloy
foundation of the General Intelligence Operating System