Repositories Users Organizations
Filter
Sort
james/ nemo
OCaml 0 0
MLIR DAG rewriter w/ SSA IR, dominance and CFG analysis passes
Updated 2026-07-23 23:15:27 +00:00
james/ tobi
C 0 0
ACPI AML decompiler w/ CFG recovery and structured pseudocode
Updated 2026-06-29 21:12:28 +00:00
james/ ariel
C 0 0
AArch64 EL2 hypervisor for QEMU virt that boots at EL2
Updated 2026-05-25 01:32:36 +00:00
james/ symevm
Haskell 0 0
an intermediate symbolic execution engine for EVM bytecode
Updated 2026-01-20 23:26:52 +00:00
james/ leibniz
OCaml 0 0
symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods
Updated 2026-01-19 03:37:26 +00:00
james/ icepick
C 0 0
cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking
Updated 2026-01-18 03:43:06 +00:00
james/ ppx_combin
OCaml 0 0
OCaml parser combinator that compiles to direct recursive descent
Updated 2026-01-16 22:19:30 +00:00
james/ turnstile
Rust 0 0
hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests
Updated 2026-01-15 17:08:51 +00:00
james/ trees
OCaml 0 0
kennedy and reingold-tillford algorithms for tree node positioning
Updated 2026-01-10 03:09:44 +00:00