Virtual DSM in a Docker container.

Easy bindings between Lean and Python.

🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sa…

A sliding, tiling window manager for MacOS.

PMDA (pronounced pimda) is a self-hosted music library app for matching, cleanup, playback, discovery, trusted imports, exports, and optional dedupe at scale.

Free and open source app to share audio on macOS

Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

Light, fluffy, and always free - The AWS Local Emulator alternative

CLI tool for inspecting and managing services listening on localhost ports

macOS app to turn the green window button into Maximize instead of Full Screen

Collection of resources for research concerning Machine Learning and Formal Methods.

CLI tool for interacting with the web

Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.

Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.

The Lean Computer Science Library (CSLib)

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

Ollama for classical ML models. AOT compiler that turns XGBoost, LightGBM, scikit-learn, CatBoost & ONNX models into native C99 inference code. One command to load, one command to serve. 336x faste…

A Foreign Function Interface (FFI) to cvc5 solver in Lean.

SNKV — a lightweight key-value store focused on simplicity, security and performance file based database , written using b-tree directly. Now supports vector HNSW , Join the discussion: https://dis…

Fastest file searching tool for macOS

A macOS command-line tool that queries scriptable applications using XPath-like expressions.

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

The agent-to-code compiler that optimizes AI for speed 🏎️ and safety 🏁

This is a crash course on Agents

Enable Claude Code to learn in real-time, update it's knowledge, and grow with you, using supermemory.

A micro MCP server for stdio only (asyncio and synchronous)