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

verification toolchain for TypeScript (Tech Preview)

Official implementation and models for OVIE (One View Is Enough! Monocular Training for In-the-Wild Novel View Generation)

Lean 4 programming language and theorem prover

ParseBench - A Document Parsing Benchmark for AI Agents

Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.