AhmadHassan-BTed / OpenHeart

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

fkie-cad / cwe_checker

cwe_checker finds vulnerable patterns in binary executables

gromhacks / bonsai-ninja

🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.

wavect / semaprax

The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership & fully interoperable with existing ecosystems & object-oriented AI Agents with payment capability.