Property-based testing for Lean via metaprogramming

A flattened AST for Bril + an interpreter over the flat file format

Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

a tag app, but good

Linearizability Hoare Logic

Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks

A Swiss Army Knife for computational social choice research

Effective Algebraic Topology in Haskell

CAQE is a solver for quantified Boolean formulas

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

cognitive-ai-benchmarking

😎TT

A WIP little dependently-typed systems language

the Dependent Unboxed higher-oRder Intermediate Notation

Did someone say... scuffed UCSD historical enrollment data?

Reimplementation of Parsley in Haskell, with improvements

The Delphin Project

Agda formalisation of second-order abstract syntax

This aims to be the most pretentious implementation of stlc in existence

Rust library for program synthesis of string transformations from input-output examples 🔮

Prototype implementations of systems based on setoid type theory

Advent of code solutions in Standard ML.

A simple functional programming language.

Fast parsing from bytestrings

A toolkit for enforcing logical specifications on neural networks