herdrdev / herdr-core

herdr-core: terminals for coding agents

Graphicle-AI / graphicle

Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.

h5i-dev / h5i

An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

rul-lang / rul

The Rul Programming Language For AI/SI Agents.