carp-lang / Carp
A statically typed lisp, without a GC, for real-time applications.
See what the GitHub community is most excited about today.
A statically typed lisp, without a GC, for real-time applications.
A comprehensive Amazon Web Services SDK for Haskell.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Integrations with Vinyl/Frames records.
Universal markup converter
A tutorial about how to apply property-based testing to stateful systems.
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
Contributed modules for xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
The Plutus language implementation and tools
Official upstream development repository for Cabal and cabal-install
The symbolic execution engine powering the K Framework
The ledger implementation and specifications of the Cardano blockchain.
A formatter for Haskell source code
The core component that is used to participate in a Cardano decentralised blockchain.
A collection of my config files.
Prometheus.io Haskell client.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.