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

Light, fluffy, and always free - AWS Local Emulator

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 semantic merge driver for Git. Resolves conflicts that git can't by understanding code structure via tree-sitter. 31/31 clean merges vs git's 15/31.

The Lean Computer Science Library (CSLib)

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental req…

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.

Stop using SQLite as a key-value store. Use SNKV instead.

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)

🐹 Deep clean and optimize your Mac.

Resume builder for academics and engineers

Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)

JOPA: Java compiler in C++

AirPods liberated from Apple's ecosystem.

Wireshark-like forensic analysis for Model Context Protocol communications Capture, inspect, and investigate all HTTP requests and responses between your IDE and MCP servers