A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

lamdu - towards the next generation IDE

Miscellaneous articles. The readme is the table of contents.

Cloud Haskell core libraries

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

A Haskell library for creating WebSocket-capable servers

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.

Tools for running Quorum clusters and integration tests

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

JVM implementation in Haskell

Generating penrose tilings with Haskell and Cairo