dapphub / dapptools
Dapp, Seth, Hevm, and more
See what the GitHub community is most excited about today.
Dapp, Seth, Hevm, and more
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Dockerfile linter, validate inline bash, written in Haskell
An advanced keyboard manager
The core component that is used to participate in a Cardano decentralised blockchain.
Dataflow programming and declarative concurrency
Exercism exercises in Haskell.
Spiritual successor to neuron, based on Ema.
A collection of my config files.
Effectful Raw handler for Servant servers.
Clearly-delineated error-handling
A comprehensive Amazon Web Services SDK for Haskell.
Agda is a dependently typed programming language / interactive theorem prover.
Prometheus.io Haskell client.
A logical authorization system
The ledger implementation and specifications of the Cardano blockchain.
generate haskell types for Squeal from a running postgresql database.
The Plutus language implementation and tools
Official upstream development repository for Cabal and cabal-install
Reach: The Safest and Easiest DApp Programming Language
Linux VR Desktop
The Haskell Tool Stack
A minimalistic status bar
Tunneling over websocket protocol - Static binary available