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.

Claude skills for Lean 4 theorem proving

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

Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp Machine Prolog, and Franz Inc.'s Allegro Prolog, with some e…

Random variate generation library in C

Understanding Epistemic Language with a Language-augmented Bayesian Theory of Mind (LaBToM)

Firefly III: a personal finances manager

NumPy+Jax with named axes and an uncompromising attitude