Haskell implementation of gradient inference, a new approach to gradient estimation.

Lean 4 formalization of the Dolev-Yao attacker model for symbolic cryptographic protocols

Lean 4 formalization of strategy-proofness for the Vickrey (second-price sealed-bid) auction

libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…

Dafny verifies proofs; claimcheck confirms intent.

Lisp Flavoured Erlang (LFE)

a small, hackable agent CLI in Python, with explicit control via tools, permissions, and hooks

Running Elixir in the browser

A language for sorcery

Dependency visualization and verification for Lean 4 projects

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Lean 4 theorem proving skill and workflow pack for AI coding agents

A minimal implementation of DeepMind's Genie world model

A minimalist design exploration

Probabilistic programming with probabilistic uncomputation

Demo project showing a single Rust codebase running on CPU and directly on GPUs

Pre-compiled XLA extension

Safe Rust bridge for creating Erlang NIF functions

Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem

An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude

An expressive language for discrete probabilistic programming with lazy knowledge compilation

Probabilistic programming with vectorized programmable inference

exploration

JAX in JavaScript – ML library for the web, running on WebGPU & Wasm

Multi-platform high-performance compute language extension for Rust.

Controlled text generation with programmable constraints