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

vm.fail

44 followers 2 following

et al

Vouch for

Punchcard 93 commits

Pinned repositories
ego
Alpha equivalence checker for arbitrary lambda terms
OCaml
32
nemo
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
OCaml
21
tobi
ACPI AML decompiler w/ CFG recovery and structured pseudocode
C
29
ariel
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
C
8
ppx_combin
OCaml parser combinator that compiles to direct recursive descent
OCaml
5
trees
Kennedy and Reingold-Tillford algorithms for tree node positioning
OCaml
23

Activity

This month

Created 6 commits
Created 2 repositories
ego
OCaml
nemo
OCaml

1 month ago

Created 30 commits
Created 1 repository
tobi
C

2 months ago

Created 23 commits
Created 1 repository
ariel
C

3 months ago

Created 9 commits

4 months ago

Created 5 commits

6 months ago

Created 20 commits
Created 6 repositories
symevm
Haskell
leibniz
OCaml
icepick
C
ppx_combin
OCaml
turnstile
Rust
trees
OCaml