Stars
A keyboard input remapper for Linux/Wayland systems, written by @wez
Task management for the Obsidian knowledge base.
A categorical programming language with effects
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
A database of small finite categories
Modularized faucet for EVM chains with different protection methods (Captcha, Mining, IP, Mainnet Balance, Gitcoin Passport and more)
PIE is an experiment. We've been everything from a coworking space to a community hub to an early stage startup accelerator. Now, we're open sourcing everything we've learned from nearly a decade o…
Learn how to design systems at scale and prepare for system design interviews
PreTeXt: an authoring and publishing system for scholarly documents
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
An easy to use, cross platform, GUI library for writing Haskell applications.
The SILE Typesetter — Simon’s Improved Layout Engine
Early-stage b-rep CAD kernel, written in the Rust programming language.
Haskell project statistics and definition analysis
A library for writing programs with environments and managed resources, written in Haskell.
A quick reference for mapping Coq tactics to Lean tactics
A code generator for OpenAPI written in node and designed to have pluggable generators
Riot Games API crawler and a machine learning project. Created in Haskell.