An experimental programming language with permissions, state transitions and evidence built into its semantics; includes a self-hosted native-core compiler, bytecode VM and Web/Android backends.
android programming-language ui research web cross-platform compiler runtime virtual-machine developer-tools language-design formal-methods self-hosting intermediate-representation domain-specific-language evidence rcl reality-compiler reality-computing taowind
-
Updated
Oct 13, 2026 - JavaScript