Marco Z

threejs-devtools-mcp. Three.js MCP server — inspect and edit scenes, materials, shaders, lights in real time from any AI agent

treekem. Tree-based KEM for group key management

buzz. A hive mind communication platform

skills. Data Science Skills for AI agents like Claude Code

tonk. A portable data substrate for humans and their tools to think together.

torchtitan. A PyTorch native platform for training generative AI models

jax-mps. A JAX backend for Apple Metal Performance Shaders (MPS), enabling GPU-accelerated JAX computations on Apple Silicon.

verifiers. Our library for RL environments + evals

cq. An open standard for shared agent learning. Agents persist, share, and query collective knowledge so they stop rediscovering the same failures independently.

operator-rs. A collection of crates to make implementing Kubernetes operators easier

kube. Rust Kubernetes client and controller runtime

tt-xla. Repo for AI Compiler team. The intended purpose of this repo is for implementation of a PJRT device.

propsim. Property-based testing for distributed protocols

wk. wk the workspace tool

wgpu. A cross-platform, safe, pure-Rust graphics API.

coc.

hummingbird. Hummingbird compiles trained ML models into tensor computation for faster inference.

gym. EXO Gym is an open-source Python toolkit that facilitates distributed AI research.

AIonDemandCluster. Spin up any open LLM on rented GPUs (vast.ai/RunPod), serve it with vLLM or llama.cpp, and drive it from Claude Code via Claude Code Router. Pay by the hour.

omnigent. Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, and collaborate in real time from any device.

caliper. Know if your agent skill actually works. A lightweight evaluation harness that tracks a success rate across Claude Code, Codex, Pi, and Hermes.

fusebox. Trace-based tensor compiler for Rust. Toy/educational ML framework based on StableHLO and PJRT.

prism. A functional language with algebraic effects, multishot continuations, and native codegen

roxi. Reactive Reasoning

mlir-generator. Generator for MLIR files from known front-ends

torchax. torchax is a PyTorch frontend for JAX. It gives JAX the ability to author JAX programs using familiar PyTorch syntax. It also provides JAX-Pytorch interoperability, meaning, one can mix JAX & Pytorch syntax together when authoring ML programs, and run it in every hardware JAX can run.

bidirectional-typing. A bidirectional type checker

qwix. a Jax quantization library

roar. Run Observation & Artifact Registration

elle-cli. The command-line frontend to transactional consistency checkers for black-box databases

tickloom. Java

elle. Black-box transactional safety checker based on cycle detection

stateright. A model checker for implementing distributed systems.

madsim. Magical Deterministic Simulator for distributed systems in Rust.

proptest. Hypothesis-like property testing for Rust

torchft. Fault tolerance for PyTorch (HSDP, LocalSGD, DiLoCo, Streaming DiLoCo)

xla. A machine learning compiler for GPUs, CPUs, and ML accelerators

loom. Concurrency permutation testing tool for Rust.

go-xla. OpenXLA API Bindings for Go (StableHLO and PJRT)

tch-rs. Rust bindings for the C++ api of PyTorch.

openmls. Rust implementation of the Messaging Layer Security (MLS) protocol

lmms-eval. One-for-All Multimodal Evaluation Toolkit Across Text, Image, Video, and Audio Tasks

OpenViking. Self-evolving Context Database for AI Agents. Unify Agent Memory, Knowledge RAG and Skills.

boa. Boa is an embeddable Javascript engine written in Rust.

git-theta. git extension for {collaborative, communal, continual} model development

goja. ECMAScript/JavaScript engine in pure Go

kairos. The immutable Linux meta-distribution for edge Kubernetes.

transformer. NLP transformers written in Go

chronos-forecasting. Chronos: Pretrained Models for Time Series Forecasting

lance. Open Lakehouse Format for Multimodal AI. Convert from Parquet in 2 lines of code for 100x faster random access, vector index, and data versioning. Compatible with Pandas, DuckDB, Polars, Pyarrow, and PyTorch with more integrations coming..

drift-train. P2P distributed TRAINING swarm (the original drift). The serving pivot lives at github.com/selimozten/drift.

club-3090. Community recipes for serving LLMs on RTX 3090/4090/5090 CUDA gpus. Multi-engine (vLLM, llama.cpp, ik_llama) and model-agnostic. Currently shipping Qwen3.6-27B Qwen3.6 35B Gemma 4 26B Gemma 4 31B configs for 1× and 2× cards.

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

container. A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

gonja. ⛩️ Pure Golang engine for Jinja templates

microecta. Microecta is to ecta as microlens is to lens

kplane. kplane is a CLI for creating virtual Kubernetes control planes

mesh-llm. Distributed AI/LLM for the people. Share compute privately or publicly to power your agents and chat.

nnAudio2. GPU-based audio processing. Trainable Fourier kernels.

raftscope. super hacky visualization of Raft

llm2. Python

jupyter-studio. The AI-native JupyterLab — open-source Cursor for notebooks. Cmd+K inline edit, multi-step agent with cell-level tools (read/edit/run), chat with @cell/@file context, ghost-text completion, one-click traceback fix. BYO model: Anthropic, OpenAI, Gemini, Ollama, vLLM. Local-first, privacy-first, fully open source.

hann. A fast approximate nearest neighbor search library for Go

extension-examples. JupyterLab Extensions by Examples

I-found-a-seashell-in-the-middle-of-the-desert. Jupyter Notebook

goldmark-mathjax. A mathjax extension for goldmark

lean-reducers. Parallel, fused reducers for Lean 4

the-og. A pure PHP OpenGraph Image Generator

soft-serve. The mighty, self-hostable Git server for the command line🍦

Handy. A free, open source, and extensible speech-to-text application that works completely offline.

goldmark. :trophy: A markdown parser written in Go. Easy to extend, standard(CommonMark) compliant, well structured.

beaver. MLIR Toolkit in Elixir and Zig.

gomlx. GoMLX: An Accelerated Machine Learning Framework For Go

radix. Radix is an adaptive radix tree for in-memory database indexes.

go-immutable-radix. An immutable radix tree implementation in Golang

combo. Kotlin + K8s tool for improving LLM prompts and UIs through live user feedback.

let-go. Almost Clojure written in Go.

minify. Go minifiers for web formats

GlobeletJS. Lightweight vector maps on a globe

libkrun. A dynamic library providing Virtualization-based process isolation capabilities

exomonad. Rust

http-swagger. Default net/http wrapper to automatically generate RESTful API documentation with Swagger 2.0.

lsp-mcp-server. An MCP (Model Context Protocol) server that bridges Claude Code to Language Server Protocol (LSP) servers, enabling semantic code intelligence capabilities.

uptime-kuma. A fancy self-hosted monitoring tool

gtop. Gtop is a clearer alternative to gtop written in golang

shibuya. Haskell

Hy3-preview. Hy3 preview (295B A21B), a leading reasoning and agent model in its size, with great cost efficiency

hcloud-go. A Go library for the Hetzner Cloud API

BrickSim. A Physics-Based Simulator for Manipulating Interlocking Brick Assemblies

impeccable. The design language that makes your AI harness better at design.

spegel. Stateless cluster local OCI registry mirror.

dev-container. JavaScript

panproto. One engine for schematic version control within and across any schema language.

tensor. package tensor provides efficient and generic n-dimensional arrays in Go that are useful for machine learning and deep learning purposes

boinc. Open-source software for volunteer computing and grid computing.

stack-cli. Open Source Alternative to Supabase, Vercel, Netlify and Heroku.

vhs. Your CLI home video recorder 📼

quilc. The optimizing Quil compiler.

mlx. MLX: An array framework for Apple silicon

gopter. GOlang Property TestER

bigfft. Big integer multiplication library for Go using Fast Fourier transform

spike-sdk-go. The official Go SDK for SPIKE, enabling secure secrets management through SPIFFE-authenticated mTLS. Simplifies secrets operations for Go applications with a clean, intuitive API.

huma. Huma REST/HTTP API Framework for Golang with OpenAPI 3.1

chimera. Chi-based Module for Easy REST APIs (like FastAPI for Go)

gomail. The best way to send emails in Go.

godotenv. A Go port of Ruby's dotenv library (Loads environment variables from .env files)

chi. lightweight, idiomatic and composable router for building Go HTTP services

go-sqlite. pure-Go SQLite driver for Go (SQLite embedded)

pocketbase. Open Source realtime backend in 1 file

supertokens-core. Open source alternative to Auth0 / Firebase Auth / AWS Cognito

zitadel. ZITADEL - Identity infrastructure, simplified for you.

netbird. Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

go-echo-template. A REST API template built with Echo framework, GORM for database interactions, and Fx for dependency injection. Designed for modular, scalable, and maintainable development.

go-metal. A high-performance deep learning library for Go that leverages Apple's Metal for GPU acceleration on Apple Silicon.

etcd. Distributed reliable key-value store for the most critical data of a distributed system

beego. beego is an open-source, high-performance web framework for the Go programming language.

spire-api-sdk. SPIRE API Service Definitions

ginkgo. A Modern Testing Framework for Go

gemma-tuner-multimodal. Fine-tune Gemma 4 and 3n with audio, images and text on Apple Silicon, using PyTorch and Metal Performance Shaders.

tiktoken-go. go version of tiktoken

cu. package cu provides an idiomatic interface to the CUDA Driver API.

prima. PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., COBYLA, UOBYQA, NEWUOA, BOBYQA, and LINCOA. PRIMA means Reference Implementation for Powell's methods with Modernization and Amelioration, P for Powell.

yzma. Go with your own intelligence - Go applications that directly integrate llama.cpp for local inference using hardware acceleration.

kronk. Your personal engine for running open source models locally. Use Go for hardware accelerated local inference with llama.cpp and whisper.cpp directly integrated into your Go applications. Kronk provides a high-level API and a model server.

go-spiffe. Golang library for SPIFFE support

xinfer. Blazing-fast LLM inference in pure Rust. No PyTorch and Python runtime.

cli-spinners. Spinners for use in the terminal

spin. Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.

sky. Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

aeneas. A verification toolchain for Rust programs

cascade. Typed CSS AST, parser, pretty-printer, and optimiser for OCaml

macro-place-challenge-2026. Python

kademlia. A DHT in Python using asyncio

hivemind. Decentralized deep learning in PyTorch. Built to train models on thousands of volunteers across the world.

slothy. Assembly super-optimization via constraint solving

discovery-engine. Discovery Engine — find novel, statistically validated patterns in tabular data

nvitop. An interactive NVIDIA-GPU process viewer and beyond, the one-stop solution for GPU process management.

vet. Find issues worth your attention.

metaprogramming-go. Example project for an article Metaprogramming with Go

Trixi.jl. Trixi.jl: Adaptive high-order numerical simulations of conservation laws in Julia

helion. A Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.

drawdata. Draw datasets from within Python notebooks.

cpmpy. Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

ferrotorch. Rust

sdf. Sphere tracing signed distance functions.

softtorch. A library for soft differentiable relaxations of common PyTorch functions.

AutoToS. The repository for the code associated with the paper "Automating Thought of Search: A Journey Towards Soundness and Completeness"

prontoqa. Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.

doom-teletext. Play DOOM in teletext

learnyouahaskell.github.io. A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

vibes. vibe container support: put your agents in little prisons avoiding catastrophic downsides.

lean-explore. A search engine for Lean 4 declarations

OpenEnv. An interface library for RL post training with environments.

ANE. Training neural networks on Apple Neural Engine via reverse-engineered private APIs

chainlink. A CLI issue tracker for AI Agents

rolandcode. OpenCode with all telemetry removed. Clean builds, no phone-home.

autoresearch. AI agents running research on single-GPU nanochat training automatically

works. The code of several works on oimo.io/works

Babylon.js. Babylon.js is a powerful, beautiful, simple, and open game and rendering engine packed into a friendly JavaScript framework.

matter-js. a 2D rigid body physics engine for the web ▲● ■

Ascii_Shader. Shader that turns the screen image into an ascii art

Ascii-Motion. A modern web application for creating and animating ASCII art

ascii_3d_animator. A real-time ASCII 3D engine that renders 50,000+ characters per frame at 60 FPS using a custom WebGL shader pipeline. It converts arbitrary 3D models into animated ASCII art with dynamic lighting, shading, and depth — all computed live with zero pre-rendering.

ascend. Run Python functions on Kubernetes

crush. Glamourous agentic coding for all 💘

javabox. Container that runs in the browser that allows you to run Java and view the output

srbench. A living benchmark framework for symbolic regression

cslib. The Lean Computer Science Library (CSLib)

wish. Make SSH apps, just like that! 💫

lucid-search. Highlight text and find matches

d3-3d. d3-3d is a powerful JavaScript library designed for 3D visualizations, specifically tailored to work seamlessly with d3.js. This library enables the projection of 3D data onto web browsers, making it an essential tool for developers interested in creating immersive and dynamic visualizations.

refinery. ⛏️ A refinement proof framework for haskell

vui.el. Declarative, component-based UI library for Emacs. React-like components with state, hooks, reconciliation, and layouts - rendered using native Emacs widgets.

nerdctl. contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...

lipgloss. Style definitions for nice terminal layouts 👄

thinkwell. A TypeScript library for easy scripting of AI agents. Thinkwell provides a fluent API for blending deterministic code with LLM-powered reasoning.

aim. Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.

trackio. A lightweight, local-first, and free experiment tracking library from Hugging Face 🤗

my-cool-proxy. Use as many MCP servers as you want while minimizing context usage. A code mode MCP server gateway driven with Lua 🌙

openclaw-cedar-policy-demo. Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

ktransformers. A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations

rockboxd. A modern, network-enabled music player platform built on Rockbox technology https://www.rockbox.org

cliff-finder. Python

miniray. Minimal library for distributed python work. Can efficiently run CPU and GPU tasks across 100s of machines.

pulse. The Pulse separation logic DSL for F*

kaniko. Build Container Images In Kubernetes

avian. ECS-driven 2D and 3D physics engine for the Bevy game engine.

chromedp. A faster, simpler way to drive browsers supporting the Chrome DevTools Protocol.

OpenClaudia. Open Source Agentic Coding Harness

regression-simple. Simple linear and quadratic regression

golds-gym. golden testing for performance benchmarks, based on hspec

statutory. STATUTORY Language (Tree-sitter Parser)

argmax-oss-swift. On-device Speech AI for Apple Silicon

mellea. Mellea is a library for writing generative programs.

original_performance_takehome. Anthropic's original performance take-home, now open for you to try!

pdsfs. mount atproto pdses as a readonly-fuse filesystem

tui.zig. TUI.zig is a Modern and easy-to-use Terminal User Interface (TUI) library for the Zig programming language. It provides a rich set of features to create modern, responsive, and visually appealing terminal applications with minimal effort.

FlatCV. Image processing and computer vision library in pure C

brick. A declarative Unix terminal UI library written in Haskell

debugwand. An *experimental* zero-preparation remote debugger for Python applications running in *local* Kubernetes clusters or Docker containers.