Assembler for NVIDIA Maxwell architecture

Intel® Nervana™ reference deep learning framework committed to best performance on all hardware

An ARC-AGI solution using Agentica from Symbolica

ALMA (Automated meta-Learning of Memory designs for Agentic systems) is a framework that meta-learns memory designs to replace human-engineered designs for agentic system.

A huge collection of VHDL/Verilog open-source IP cores scraped from the web

SQLite bindings for Lean

[KernelGYM & Dr. Kernel] A distributed GPU environment and a collection of RL training methods to support RL for Kernel Generations

Multi-agent communication extension for pi coding agent

A collection of GPU kernels and other experiments comparing Torch, Triton etc to Modular/Mojo

The World's First Agentic IDE. Visual dashboard: live sessions, task management, code editor, terminal. Epic Swarm parallel workflows. Auto-proceed rules. Automation patterns. Beads + Agent Mail +…

Extract and compare system prompts and tools from different Claude Code versions

Call MCPs via TypeScript, masquerading as simple TypeScript API. Or package them as cli.

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

This repository allows reproduction of Poetiq's record-breaking submission to the ARC-AGI-1 and ARC-AGI-2 benchmarks.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Breakthrough Method for Agile Ai Driven Development

Production-grade agent orchestration for Claude Code - 11 agents, 46 MCP tools, SQLite+FTS5, drift detection, consensus checkpoints

Cloud-synced dashboards for OpenCode and Claude Code. Track sessions, search with semantic lookup, export eval datasets.

Dolt – Git for Data

Windows 7 in the browser

Coq code that helps me learn HoTT.

Personal research notes

A proof assistant and a dependently-typed language

A textbook on informal homotopy type theory

Autonomous AI development loop for Claude Code with intelligent exit detection

Early Rust prototype of the Destructive Command Guard (dcg) for blocking dangerous git and shell commands

A set of ready to use scientific skills for Claude

First principles for multiplying your productivity with AI agents like Claude Code. Free. Star for updates