writecr8

0 followers · 0 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• Joined on 2026-01-20

Repositories

5

Projects Packages Public activity Starred repositories

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

leibniz

OCaml 0 0

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

Updated 2026-01-20 20:19:18 +00:00

trees

OCaml 0 0

kennedy and reingold-tillford algorithms for tree node positioning

Updated 2026-01-20 20:19:05 +00:00

ppx_combin

OCaml 0 0

OCaml parser combinator that compiles to direct recursive descent

Updated 2026-01-20 18:28:13 +00:00

turnstile

Rust 0 0

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

Updated 2026-01-20 18:28:05 +00:00

icepick

C 0 0

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

Updated 2026-01-20 18:27:53 +00:00