https://github.com/pyrex41/shen-rust

Shen language port in Rust — 134/134 kernel conformance; tree-walker + AOT-compiled kernel + bytecode VM + opt-in GC; first-class AWS Cedar authorization integration.

authorization bytecode-vm cedar compiler functional-programming garbage-collector interpreter klambda programming-language rust shen theorem-prover

Last synced: 21 Jun 2026