Wire back-end services
A secure, multilingual package manager for Arch Linux
A programming language that understands what a web app is
Safe, performant, user-friendly and lightweight Haskell library
A formatter for Haskell source code
Interactive programs without callbacks or side-effects
A feature-rich Unix terminal client for the Mattermost chat system
Robust, fast, intuitive plain text accounting tool with CLI
Koka language compiler and interpreter
Ethereum smart contract fuzzer
Dapp, Seth, Hevm, and more
a small .pdf management tool with a command-line UI
Proof Logic : A logical framework for theorem proving
Public files of alphabit.org domain
Command-line interface for Fission
foundation of the General Intelligence Operating System
wiki engine for small teams
dependently typed functional programming language