Skip to content
View rackquiem's full-sized avatar
15 followers · 14 following

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Highlights

  • Pro

Block or report rackquiem

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
rackquiem/README.md

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

You can also find my projects here

Pinned Loading

  1. patcher patcher Public

    BPS for FireRed and LeafGreen with integrated expansion

    OCaml 23

  2. xmm0club/gadget xmm0club/gadget Public

    Typed bytecode VM in OxCaml that indexes instructions by the type of the operand stack

    OCaml 13

  3. lamb lamb Public

    Compiler for a subset of OCaml expressions that exposes deterministic IR's

    OCaml 9

  4. meowc meowc Public

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

    OCaml 7 1

  5. turnstile turnstile Public

    Xen hypervisor protection for guest kernel memory integrity enforcement

    Rust 16

  6. xmm0club/rackvm xmm0club/rackvm Public

    KVM VM monitor for Linux boot with SMP topology and serial emulation

    C 10