rack rackquiem

2 followers · 1 following

• SSH keys
• GPG keys

• Djursholm, Sweden

• Primarily interested in compilers, formal methods, reverse engineering, and denotational semantics

• Joined on 2016-01-01

Repositories

14

Projects Packages Starred repositories

7

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

meowc

OCaml 3 0

Build tool for C and C++ that derives build graphs/dependencies

Updated 2026-09-07 00:54:55 +00:00

gadget

OCaml 1 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

patcher

OCaml 0 0

BPS for FireRed and LeafGreen with integrated expansion

Updated 2026-08-29 15:37:56 +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

graphis

OCaml 1 0

Inspects OCaml heap values and lowers the reachable object graph to graphviz DOT

Updated 2026-07-07 17:27:13 +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

iris

Lean 0 0

Inspects OCaml heap values and lowers the reachable object graph to graphviz DOT

Updated 2025-09-07 12:38:44 +00:00

opal

OCaml 3 0

Type inference, closures and algebraic data types in OCaml

Updated 2024-09-07 09:58:52 +00:00

continuum_ppx

OCaml 1 0

OCaml syntax rewriter that turns let%continue bindings into callback function calls

Updated 2018-09-07 13:00:00 +00:00

fieldglass

OCaml 1 0

Record lenses for composable accessors and immutable data updates

Updated 2018-09-07 10:19:00 +00:00