Stars
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).
Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
A Swiss Army Knife for computational social choice research
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
cognitive-ai-benchmarking
Did someone say... scuffed UCSD historical enrollment data?
Reimplementation of Parsley in Haskell, with improvements
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
A toolkit for enforcing logical specifications on neural networks