Lists (3)
Starred repositories
Locality: agent-local file system access to systems of record for safe local editing and AI workflows.
turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.
Full Transformer into a custom chip. microGPT in RTL, generating names on a Virtex-5 FPGA at ~56k tokens/second.
Un-0: an image generator powered by a simulated system of coupled oscillators, an example of an emerging physical computing substrate.
AI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary
DeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.
Open-source inference server and production cluster for all the models your agent needs.
TorchLean is the first unified Lean 4 framework for neural-network specification, execution, and verification.
A unified storage SDK for object and blob backends. One small, honest API. Web-standards I/O.
Computational Graphics - THU Spring 2018
AssetOpsBench - Industry 4.0: A unified benchmark and framework for building, orchestrating, and evaluating domain-specific AI agents for Industry 4.0 asset operations and maintenance, with 460+ sc…
agent multiplexer that lives in your terminal.
The Doubleword Inference Stack is the easiest & most performant way to run genAI infrastructure in your private environment.
✨ Cross-agent skills that help coding agents use Entire context from Checkpoints, sessions, and git history to search past work, explain code, and hand off sessions.
Headless CLI client for stateful Agent Client Protocol (ACP) sessions
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
The open-source app everyone uses to manage agents at work
On-device Speech AI for Apple Silicon
A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.
🦄 ai that works - every tuesday 10 AM PST
Machine Learning Engineering Open Book
🤗 smolagents: a barebones library for agents that think in code.
Mirage Persistent Kernel: Compiling LLMs into a MegaKernel