Skip to content
View InnovativeInventor's full-sized avatar
106 followers · 62 following

Highlights

Organizations

@acm-uiuc @ChoateProgrammingUnion @mggg @open-source-at-illinois @Illinois-Theorem-Provers @Athena-Types

Block or report InnovativeInventor

Report abuse

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

Report abuse
InnovativeInventor/README.md

I love to hack, make, and create! I'm currently a PhD student at Cornell University studying programming langauges. I'm also a ham radio operator (general class) – my callsign is KC1LTV.

For more about me, check out my website https://max.fan.

Pinned Loading

  1. Athena-Types/numerics-playground Athena-Types/numerics-playground Public

    Assorted numerics experiments. Mirror of https://git.sr.ht/~mxf/numerics-playground

    Jupyter Notebook

  2. proof-repair-quotients proof-repair-quotients Public

    Artifact for "Proof Repair across Quotient Type Equivalences" paper (OOPSLA 2025 paper)

    Agda 2

  3. mggg/GerryChain mggg/GerryChain Public

    Use MCMC to analyze districting plans and gerrymanders

    Python 150 76

  4. mggg/pcompress mggg/pcompress Public

    Efficient, streamable binary representation of districting plans intended for enabling fast interoperability between various ReCom MCMC impls and real-time step logging/replaying. Used for gerryman…

    Jupyter Notebook 2 1

  5. outcome-logic-coq outcome-logic-coq Public

    outcome logic, in coq

    Coq 2

  6. nimbus nimbus Public

    [WIP] A virtual, networked filesystem with pragmatic and strong safety guarantees

    Rust 4 1