Lists (1)
Stars
Line-level provenance for text under agentic editing — who wrote this line, us or them? — derived from version history, not from markup in the file.
Diffs for function call stacks across git commits. 22 languages supported (AST-based, built using Tree-sitter). Great for agentic review.
Brain_Shell is a dynamic, highly visual and modular desktop shell built with Quickshell and QML, custom-tailored specifically for Hyprland.
Video-production toolkit for AI agents: Deno + WebGPU + three.js/TSL render engine with VRM character locomotion, simulations, effects, and a full audio pipeline — real-time GPU rendering with mini…
Static @fit checks for ordinary TypeScript layout code
Move functions, types, and files around in a typescript project, while keeping imports happy.
Formal specification of a pure, functional subset of Python for scientific computing
A Copilot-CLI Plugin for F* and Related Tools
SWE-Together: Evaluating Coding Agents in Interactive User Sessions
Benchmark environment for evaluating vision-language models (VLMs) on popular video games!
A game where you are a computer's OS and you have to manage processes, memory and I/O events.
Visual programming by chaining operations on data
the extensible, customizable, self-documenting, real-time multi-agent computing environment
The agent that grows with you
Interactive live visualizer for gepa runs
Evaluating how well language models write prompts for other language models in various settings, including sub-calling, LM-as-a-judge, and others!
The World's First Unified Virtual Filesystem For AI Agents
Chiasmus is an MCP server that gives language models access to formal verification
an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
Native space switching on macOS with no animation
Statistical analysis for LLM evaluations, from model and prompt comparisons to inference resilient to LLM judge bias, including at small sample sizes. All defaults battle-tested in Monte Carlo simu…
Fast, accurate & comprehensive text measurement & layout