AhmadHassan-BTed / OpenHeart
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
AhmadHassan-BTed / OpenHeart
herdrdev / herdr-core
herdr-core: terminals for coding agents
rust-lang / rust
Empowering everyone to build reliable and efficient software.
indexable-inc / blaze
Incremental rust builds up to 92x faster than cargo/rustc
ankitects / anki
Anki is a smart spaced repetition flashcard program
GyulyVGC / sniffnet
Comfortably monitor your network traffic 🕵️♂️
Graphicle-AI / graphicle
Code graph and memory for your coding agents, in one Rust program. For Claude Code, Codex, Cursor and any MCP client.
richiemcilroy / Tov
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
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.
hffgzktbcc-blip / ounce-core
Rust runtime for open-source Switch homebrew on macOS Apple Silicon, Linux and Windows. Every claim is backed by a real program's frame.
rul-lang / rul
The Rul Programming Language For AI/SI Agents.