A concurrent systems language with a model-checked, GC-free runtime — typed message-bus concurrency, data-race-free by design.
Archive
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
A concurrent systems language with a model-checked, GC-free runtime — typed message-bus concurrency, data-race-free by design.
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents.
AI coding tools for InterSystems IRIS — single binary MCP server for VS Code Copilot and Claude Code
Manage secure microVMs — one command from zero to secure sessions, locally and remotely.
Structural code quality metrics for agent-written programs.
Give your AI Agent understanding of your codebase. A Rust CLI that turns your entire project into a single, optimized context file for Cursor, Antigravity, and Claude.
Rust-native code index MCP server with first-class 1C:Enterprise (BSL) support. Static binary, no runtime. 25 tools — 18 universal + 7 BSL-specific. Tree-sitter AST for 10 languages. Federation across multiple repos. Built for production-scale monorepos.
SWE-Marathon: an ultra long-horizon SWE benchmark
Make your laptop a disposable thin client to an always-on Mac Mini devserver.