starkware-libs / cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

matrixorigin / memoria

Secure memory management for AI Agents • Ensures data integrity • Reduces hallucinations • Maintains consistent long-term context

uzokingkong / BTG-packer

A Rust-based x86-64 PE protection framework with RISC program virtualization, polymorphic VM bytecode, CFG transformation, runtime hardening, integrity checks, and execution verification.