A notification daemon/center for linux
The first messaging platform operating without user identifiers
Wire back-end services
A secure, multilingual package manager for Arch Linux
Text generation language
A programming language that understands what a web app is
Terminal-based presentations using Pandoc
Safe, performant, user-friendly and lightweight Haskell library
A formatter for Haskell source code
Interactive programs without callbacks or side-effects
Haskell game engine library for roguelike dungeon crawlers
A feature-rich Unix terminal client for the Mattermost chat system
Liquid Types For Haskell
Robust, fast, intuitive plain text accounting tool with CLI
Koka language compiler and interpreter
Ethereum smart contract fuzzer
Fission CLI & server
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
A terminal interface for Tetris
Command-line interface for Fission
Collection of scripts for transfinite ordinals computations