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.
programming-language rust interpreter compiler functional-programming shen authorization garbage-collector cedar theorem-prover bytecode-vm klambda
-
Updated
Jun 13, 2026 - Rust