This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

PostgreSQL extension for BM25 relevance-ranked full-text search. Postgres OSS licensed.

MoE training for Me and You and maybe other people

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

Train LLM from scratch for $5 USD - Research.

Bypass MDM Setup for MacOS, up to MacOS Tahoe 26.1

Mac setup and configuration via Ansible.

The memory-first coding agent

The missing macOS LLM server. Run local or cloud models with OpenAI & Anthropic compatible APIs. MCP server for Cursor & Claude Desktop, menu bar chat, plugins, and dev tools. Native Apple Silicon.

MacOS inside a Docker container.

A curated list of awesome plugins, themes, agents, projects, and resources for https://opencode.ai

An Open Phone Agent Model & Framework. Unlocking the AI Phone for Everyone

Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.

#1 OpenCode Plugin- Battery included. ASYNC SUBAGENTS (YES LIKE CLAUDE CODE) · Curated agents with proper models · Crafted tools like LSP/AST included · Curated MCPs · Claude Code Compatible Layer …

Native macOS app for finding and killing processes on open ports. Perfect for developers.

Main engine of the IronCalc ecosystem

The invisible OS for AI

Accompanying code for "Discovering State-of-the-art Reinforcement Algorithms" Nature publication

uint128 for Go

Up to 100x faster strings for C, C++, CUDA, Python, Rust, Swift, JS, & Go, leveraging NEON, AVX2, AVX-512, SVE, GPGPU, & SWAR to accelerate search, hashing, sorting, edit distances, sketches, and m…

A project to digitalise results from physics into Lean.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.

Formalization in Lean 4 of the Javascripty language and metatheory

Lean4 mechanization of the simply typed lambda calculus and its metatheory including strong normalization

Lean 4 mechanization of assorted CBPV metatheory.

Seamless dev environments for Kubernetes

AXe is a CLI tool for interacting with Simulators using Apple's Private Accessibility APIs.