OCaml parser combinator that compiles to direct recursive descent
Updated 2026-01-20 18:28:13 +00:00
hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests
Updated 2026-01-20 18:28:05 +00:00
cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking
Updated 2026-01-20 18:27:53 +00:00
symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods
Updated 2026-01-20 18:27:34 +00:00