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

timoxa.tngl.sh

0 followers 10 following

Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering.

Reykjavík, Iceland
https://xmm0.mov/~timoxa/

Vouch for

Punchcard 0 commits

Pinned repositories
poppy
ELF loader that uses unmodified binaries without execve()
1
certigrade
Small research prototype with an untrusted OCaml optimisation pipeline and a trusted Coq/Rocq certificate checker
1
nemo
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
1
ariel
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
1
ego
Alpha equivalence checker for arbitrary lambda terms
2

Activity

This user does not have any activity yet.