The first messaging platform operating without user identifiers
Ethereum smart contract fuzzer
A programming language that understands what a web app is
A terminal interface for Tetris
A feature-rich Unix terminal client for the Mattermost chat system
A secure, multilingual package manager for Arch Linux
A formatter for Haskell source code
Interactive programs without callbacks or side-effects
Robust, fast, intuitive plain text accounting tool with CLI
Koka language compiler and interpreter
Bluespec Compiler (BSC)
Wire back-end services
Liquid Types For Haskell
A declarative Unix terminal UI library written in Haskell
The Stateless Password Manager
Infinite precision scientific math library for Haskell, Miranda & KRC
Haskell game engine library for roguelike dungeon crawlers
A notification daemon/center for linux
Safe, performant, user-friendly and lightweight Haskell library
Text generation language
Fission CLI & server
Lamdu, towards the next generation IDE
Dapp, Seth, Hevm, and more
a small .pdf management tool with a command-line UI