Easy and powerful typeful logging without monad towers, in Haskell.

Lightweight frontend library for GHC with JavaScript Backend

Modern cryptography for PostgreSQL using libsodium.

reflex infused with bulma

Archetype IDL

A framework to execute and verify algorithms using Groth16 zkSNARKs.

A curated list of amazingly awesome open-source sysadmin resources.

Library for using custom backends for Snap authentication.

Well-typed paths

Command line client for Nix binary cache hosting:

❤️📜 Let's read code together!

Self hosted platform to receive money from your supporters, using Bitcoin Lightning network

Test project

Free Algebras in Haskell

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

Py.test style assertions in Haskell

🤳 ignore the differences between `a` and `Identity a`

Nix-based incremental build tool for Haskell projects

Type-safe data versioning.

Simple benchmarks for XML parsing libraries

🖼️ the compiling to closed categories compiler

Servant support for the XML Content-Type.

Predictable Haskell development environments with Cabal and Nix.

Compile Dhall expressions to Cabal files

Type safe limit order book

🙈 Refuge from unsafe JavaScript

TypeScript library for type-safe and lossless encoding and manipulation of world currencies and precious metals

The Pact Smart Contract Language

Type level lists, pairs, sums, their operations, and their properties.