yuna0x0.com/yuna.tngl.io
HTML
1
upflam.tngl.sh/tanghulu
Tanghulu Payment
1
hexmani.ac/bluroma
(attempted) pleroma clone for bluesky
TypeScript
2
nandi.uk/gleam
Fork of daniellemaywood.uk/gleam — Wasm codegen work
Rust
1
vm.fail/trees
Kennedy and Reingold-Tillford algorithms for tree node positioning
OCaml
23
vm.fail/turnstile
hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests
Rust
14
vm.fail/icepick
cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking
C
26
vm.fail/ppx_combin
OCaml parser combinator that compiles to direct recursive descent
OCaml
5
vm.fail/tobi
ACPI AML decompiler w/ CFG recovery and structured pseudocode
C
29
vm.fail/leibniz
symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods
OCaml
17
vm.fail/symevm
an intermediate symbolic execution engine for EVM bytecode
Haskell
16
vm.fail/nemo
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
OCaml
21
vm.fail/ariel
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
C
8
vm.fail/ego
Alpha equivalence checker for arbitrary lambda terms
OCaml
32