Lists (11)
Starred repositories
101
stars
written in Haskell
Clear filter
A strongly-typed language that compiles to JavaScript
Cryptographic currency implementing Ouroboros PoS protocol
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
The core component that is used to participate in a Cardano decentralised blockchain.
A shell script which checks your $HOME for unwanted files and directories.
A static website compiler library in Haskell
Agda is a dependently typed programming language / interactive theorem prover.
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Official upstream development repository for Cabal and cabal-install
The Plutus language implementation and tools
Miscellaneous articles. The readme is the table of contents.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Crucible is a library for symbolic simulation of imperative programs
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
Modern and extensible testing framework for Haskell
An easy to use, cross platform, GUI library for writing Haskell applications.
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…
The fastest PostgreSQL libpq-based driver for Haskell
New home of Esqueleto, please file issues so we can get things caught up!
✏️ 📊 - The Haskell code editor focused on interactive development.
Fake dependent types in Haskell using singletons
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.