REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Functional Programming Course

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.

Official upstream development repository for Cabal and cabal-install

Homomorphic machine learning

The Plutus language implementation and tools

Miscellaneous articles. The readme is the table of contents.

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Tensors and neural networks in Haskell

Very low feature GHCi based IDE

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

Automatic testing of Haskell programs.

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!

Optics as an abstract interface

Low-level networking interface

✏️ 📊 - 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.

The ledger implementation and specifications of the Cardano blockchain.

Binary serialisation in the CBOR format