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

Tactics-driven vericoding

Developer blog for PyTorch

Train the smallest LM you can that fits in 16MB. Best model wins!

GCC Front-End for Rust

dev tools, env vars, task runner

🔥 LeetCode for PyTorch — practice implementing softmax, attention, GPT-2 and more from scratch with instant auto-grading. Jupyter-based, self-hosted or try online.

Differential fuzzing harness for lodepng-rust

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

LemmaScript case study of a game where the goal is to make two sides equal

A guide to structured generation using constrained decoding

Submit stacked diffs to GitHub on the command line

The property-based testing library for Python

APyTypes - Algorithmic data types for Python

Scheduling infrastructure for absolutely everyone.

Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.

Riverlane's quantum error correction SDK

Jail your AI agent

A Python package for simulating low precision arithmetic in scientific computing and machine learning

Library providing helpers for the Linux kernel io_uring support

FoundationDB - the open source, distributed, transactional key-value store

Embedded Universal DSL: a good DSL for us, by us

Tool to build & run portable, lightweight, self-contained virtual machines.

A superoptimizer for LLVM IR

Automatic verification of LLVM optimizations

Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/

LemmaScript case study