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
symevm
an intermediate symbolic execution engine for EVM bytecode
Haskell
16
leibniz
symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods
OCaml
17
icepick
cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking
C
26
ppx_combin
OCaml parser combinator that compiles to direct recursive descent
OCaml
5
turnstile
hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests
Rust
14
trees
Kennedy and Reingold-Tillford algorithms for tree node positioning
OCaml
23