Skip to content
View arm64ec's full-sized avatar
3 followers · 5 following

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Achievements

Achievement: Pull SharkAchievement: QuickdrawAchievement: YOLOAchievement: Starstruck

Highlights

  • Pro

Block or report arm64ec

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
arm64ec/README.md

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

Pinned Loading

  1. lamb lamb Public

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

    OCaml 16

  2. patcher patcher Public

    BPS for FireRed and LeafGreen with integrated expansion

    OCaml 11

  3. graphis graphis Public

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

    OCaml 5

  4. vanity vanity Public

    Typed IR model for finding representation lowering failures across optimization passes

    OCaml 6

  5. mgba-scripts mgba-scripts Public

    A bunch of mGBA scripts for Generation III Pokémon games written in Lua

    Lua 11

  6. sed sed Public

    Deterministic Generation III seed encounter database plugin for PKHeX

    C# 7