An implementation of the Uxn VM in Lean and proofs some simple programs work.

A GitHub review bot that fans a pull request out across independently-gated check runs.

Fast & efficient WebGPU-accelerated graph visualization library

Building better languages and tools; for some measure of better.

The open-source AI IDE for Claude Code, Codex, OpenCode, and more. Run agents in parallel, locally or in the cloud, and build reusable workflows.

Fun, portable, minimalistic virtual machine.

Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.

Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.

A generic, signature-driven libffi foreign-function interface for Arturo

Native-session control plane for Codex, Claude Code, OpenCode, OMP and PI. Run, resume and hand off coding sessions across your machines.

Community benchmarks and scripts for running Poolside Laguna S 2.1

Lightweight coding agent that runs in your terminal

Unlimited OCR Works: Welcome the Era of One-shot Long-horizon Parsing.

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

Use Codex from Claude Code to review code or delegate tasks.

Zammad is a web based open source helpdesk/customer support system.

🐤 The friendly full-stack language

Koka language compiler and interpreter

Competitive chess engine written in Rust

A gallery that showcases on-device ML/GenAI use cases and allows people to try and use models locally.

Self-hosted Error Tracking

LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar

The fastest way to run Qwen 3.8 Flash Next, Qwen 3.8 27B and Ternary Bonsai 2 27B on a Mac: 125 tok/s in OpenCode on an M5 Max, and a 27B model on 16 GB Macs. Native MTP speculative decoding on App…

The headless browser for AI agents and web scraping

JANG — GGUF for MLX. YOU MUST USE JANG_Q RUNTIME. Adaptive Mixed-Precision Quantization + Runtime for Apple Silicon

Eigent: The Open Source Cowork Desktop - Local and Free Alternative to Claude Cowork and Codex

Python tool for converting files and office documents to Markdown.