Search, replace, and diff Elixir code by AST pattern

🐹 A free, open-source, native macOS GUI for the Mole CLI (mo): clean, uninstall, optimize, analyze disk, and watch live status. Plus long-range history + an MCP server for AI agents.

A list and count of keywords in programming languages.

Repository for the Stacks Project

ATLAS Autoformalized Textbook Library At Scale

Google's open source distributed agent runtime

Effortlessly compose, extend, and observe every service in real-time for the first time ever.

Terminal emulator library for the BEAM — libghostty-vt NIFs with OTP integration

Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop and mobile.

A new kind of language for a new kind of computer

Seekable compressed terminal recordings for BEAM applications

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

📐 Javascript Geometric Algebra Generator for Javascript, c++, c#, rust, python. (with operator overloading and algebraic literals) -

Dexbotic: Open-Source Vision-Language-Action Toolbox

Pure Rust Inference Engine

This is the official code repo for DiT4DiT, a Vision-Action-Model (VAM) framework that combines video generation model with flow-matching-based action prediction for generalizable robotic manipulat…

Warp is an agentic development environment, born out of the terminal.

Monaco Editor component for Phoenix LiveView

Hot Reloading for Swift applications!

Swift port of chenglou/pretext, arithmetic text measurement for Apple platforms

A 15TB Collection of Physics Simulation Datasets

Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.

Demo building MLIR as a standalone with pre-built LLVM

Reverse engineered the Apple Neural Engine, with working Python and Objective C samples

C compiler (mirror)

A 5-20x faster experimental Homebrew alternative

A compact implementation of SGLang, designed to demystify the complexities of modern LLM serving systems.

An open source, self-hosted implementation of the Tailscale control server