vm.fail/nemo
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
OCaml
1
vm.fail/ariel
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
C
1
vm.fail/ego
Alpha equivalence checker for arbitrary lambda terms
OCaml
7