minswap / contracts
See what the GitHub community is most excited about today.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
An advanced keyboard manager
Universal markup converter
Agda is a dependently typed programming language / interactive theorem prover.
The core component that is used to participate in a Cardano decentralised blockchain.
Linux VR Desktop
The Plutus application platform
Effectful Raw handler for Servant servers.
generate haskell types for Squeal from a running postgresql database.
The symbolic execution engine powering the K Framework
Prometheus.io Haskell client.
Clearly-delineated error-handling
Dapp, Seth, Hevm, and more
A minimalistic status bar
A collection of my config files.
Addresses and mnemonic manipulation & derivations
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
A logical authorization system
A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL
The Plutus language implementation and tools
An implementation of the Ouroboros family of consensus algorithms, with its networking support
Compiler for Elm, a functional language for reliable webapps.