an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)

"An equation for me has no meaning, unless it expresses a thought of God."― Srinivasa Ramanujan

A listing of compiler, language and runtime teams for people looking for jobs in this area

Petr4: Formal Semantics for P4

Hypergraph is a data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.

Godot Engine – Multi-platform 2D and 3D game engine

A Language Server Protocol (LSP) compliant analyzer for the P4 language

An in-memory datalog implementation for OCaml.

A model checker for implementing distributed systems.

Generic Register Interface (contains various adapters)

P4 language tutorials

Tuplex is a parallel big data processing framework that runs data science pipelines written in Python at the speed of compiled code. Tuplex has similar Python APIs to Apache Spark or Dask, but rath…

A Python Interpreter written in Rust

An HTTP library for Rust

Intermediate Language (IL) for Hardware Accelerator Generators

Sail RISC-V model

Finite sets and maps for Coq with extensional equality

P4 codes for research projects

A Coq to Cedille compiler written in Coq

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

Rust zeromq bindings.

Rust implementation of the Messaging Layer Security (MLS) protocol

A Rust procedural language handler for PostgreSQL

Lower-Kinded Optics for OCaml

A Haskell to Coq compiler that represents effectful programs with the free monad

A markup-based typesetting system that is powerful and easy to learn.

HTTP client / server with limited dependencies

An experimental RISC-V recompiler

A Seamless, Interactive Tactic Learner and Prover for Coq