Code for the "Logic, machines and sequent calculus" talk

Artifact for the Functional Pearl "Grokking the Sequent Calculus"

MixML prototype interpreter

a terminal UI for local code review

A Lean companion to Analysis I

prototype parser run-time, back-end for different kinds of parser generators, including rascal.

Hack grammar for tree-sitter

The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.

Map and Set over contiguous memory

AeroSpace is an i3-like tiling window manager for macOS

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

Hazel, a live functional programming environment with typed holes

Lightweight document

FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml

PruningRadixTrie - 1000x faster Radix trie for prefix search & auto-complete

SKI combinators

A curated list of combinators

An interactive theorem prover for string diagrams

A pure functional language for type-level programming in Rust

Hash consistent search trees.

A functional fluent API generator

Converts DPDA specification to practical Java fluent API

A fluent API generator

Programming language for literate programming law specification

Monadic Constraint Programming framework

Logic programming in Rust

Datalog compiler embedded in Rust as a procedural macro

Copy of the CCHR Constraint Handling Rules implementation in C

KU Leuven Java Constraint Handling Rules