bts

deferred-substitution

An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

columnate

Small unix utility to columnate data sets without stripping color codes

lower

Lowering a surface syntax into different intermediate representations

templates

A collection of nix flake templates

agda-tutorial

aspen

Aspen is a Low-Latency Graph Streaming System built using Compressed Purely-Functional Trees

async-pool

book

V2 of Real World OCaml

constellation

Peer-to-peer encrypted message exchange

easytest

Simple testing toolkit (extracted from Unison)

effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml

grace

A ready-to-fork interpreted functional language with type inference

Hsmtlib

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

httprouter

A high performance HTTP request router that scales well

isl-hs

haskell bindings to the integer set library

ligra

Ligra: A Lightweight Graph Processing Framework for Shared Memory

mist

A tiny language for teaching and experimenting with Refinement Types

nixos-templates

Flake templates

nixpkgs

Nix Packages collection

obsidian-add-arxiv-paper

Obsidian plugin to create a note from arXiv.org

pact

The Pact Smart Contract Language

quorum

A permissioned implementation of Ethereum supporting data privacy

quorum-tools

Tools for running Quorum clusters and integration tests

rate-limit

A basic rate-limiting library for Haskell

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

scbt

Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019

SmtLib

Parser for smt-lib Command responses

sound-and-complete

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system

sprite-lang

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

termonad

Terminal emulator configurable in Haskell.