Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

AoD/ leibniz

OCaml 0 0

symbolic mathematics engine in OCaml with differentiation, integration, simplification, and numerical methods

Updated 2026-01-19 23:39:34 +00:00

AoD/ icepick

C 0 0

cache line locking on AMD x86_64 utilising L3 CAT pseudo-locking

Updated 2026-01-19 23:39:25 +00:00

AoD/ turnstile

Rust 0 0

hypervisor kernel integrity enforcement via EPT/NPT write interception for Xen/HVM guests

Updated 2026-01-19 23:39:14 +00:00

AoD/ ppx_combin

OCaml 0 0

OCaml parser combinator that compiles to direct recursive descent

Updated 2026-01-19 23:39:00 +00:00