Repositories
7
 Projects Packages
Filter
Sort
gadget
OCaml 2 0
Typed bytecode VM in OxCaml that indexes instructions by the type of the operand stack
Updated 2026-08-31 18:48:25 +00:00
rackvm
C 2 0
KVM VM monitor for Linux boot with SMP topology and serial emulation
Updated 2026-08-29 17:12:54 +00:00
turnstile
Rust 1 0
Xen hypervisor protection for guest kernel memory integrity enforcement
Updated 2026-08-29 15:37:56 +00:00
lantern
C 2 0
NVMe userspace driver that takes a PCI function away from the kernel
Updated 2026-08-20 22:34:08 +00:00
lamb
OCaml 1 0
Compiler for a subset of OCaml expressions that exposes deterministic IR's
Updated 2026-08-18 16:12:08 +00:00
vanity
OCaml 1 0
Typed IR model for finding representation lowering failures across optimisation passes
Updated 2026-05-07 16:15:34 +00:00
remora
Lean 1 0
Regex matcher in lean 4 via brzozowski derivatives, with correctness established against an inductive match relation
Updated 2026-01-07 19:03:05 +00:00