rul-lang/rul

Rul (.rl) — Zero-Syntax 128-Bit Schedule- & Proof-Carrying Binary Programming Language & Execution Engine for Autonomous AI Agents (5.8ns/node O(N) Verifier, 6.4µs Zero-LLVM AVX2 ELF64 AOT Compiler)

语言：Rust · GitHub 星标：45 · Fork：7

话题：ai-agents · binary-ir · columnar · compiler · mcp · programming-language · proof-carrying-code · rul

在 GitHub 上查看原仓库