Upload a new image (PNG or JPEG, max 5MB) or remove your current avatar.

vm.fail

0 followers 0 following

et al

Vouch for

Punchcard 41 commits

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

Activity

This month

Created 41 commits
Created 3 repositories
ariel
C
nemo
OCaml
ego
OCaml