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

Verifying concurrent crash-safe systems

Community-maintained repository of free software for the reMarkable tablet.

SMT-LIB 2 parsing library for Rust

Rust bitmapped vector trie

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