binary-ir

Here are 2 public repositories matching this topic...

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)

programming-language rust compiler mcp simd ai-agents zero-trust rul columnar proof-carrying-code binary-ir

Updated Oct 30, 2026
Rust

Vanderhell / Runa

Star

Minimal-footprint deterministic execution runtime for MCUs. Execute host-defined hardware jobs through a compact binary IR without application-specific firmware.

c microcontroller embedded runtime dotnet esp32 mcu deterministic hardware-abstraction binary-ir

Updated Oct 6, 2026
C

Add this topic to your repo

To associate your repository with the binary-ir topic, visit your repo's landing page and select "manage topics."

Learn more