Stars
Specula: A framework for finding deep bugs in system code using TLA+
A hardware acceleration library for compute intensive cryptography 🧊
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
A Flexible Framework for Experiencing Heterogeneous LLM Inference/Fine-tune Optimizations
See where your AI coding tokens go. Interactive TUI dashboard for Claude Code, Codex, and Cursor cost observability.
The best-benchmarked open-source AI memory system. And it's free.
Master's Thesis: Test-Driven AI Development - Minimizing code regressions in AI agents using TDD and GraphRAG
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
Claude Code without any telemetry - the perfect cli to combo with CCR
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
The Mind Palace for AI Agents - HIPAA-hardened Cognitive Architecture with on-device LLM, 114 Agent Skills, Hebbian learning, ACT-R spreading activation, adversarial evaluation, persistent memory, …
Nornicdb is a distributed low-latency, Graph+Vector, Temporal MVCC with all sub-ms HNSW search, graph traversal, and writes. Using Neo4j Bolt/Cypher and qdrant's gRPC means you can switch with no c…
DAG-based Deterministic Context Compiler for AI Coding Agents
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and Proving through agentic tool-integrated reasoning.
OpenShell is the safe, private runtime for autonomous AI agents.
Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference
Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.6, DeepSeek, gpt-oss locally.
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Your agents are guessing at APIs. Give them the actual Agent-Native spec. 1500+ API's Ready To-Use skills, Compile any API spec into a lean, agent-native format. 10× smaller. OpenAPI, GraphQL, Asyn…
Lightpanda: the headless browser designed for AI and automation
Agent Laboratory is an end-to-end autonomous research workflow meant to assist you as the human researcher toward implementing your research ideas
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
AI agents running research on single-GPU nanochat training automatically
MCP server for project management with kanban boards, semantic search, and web UI