Home Original page

InnovativeInventor - Overview

View InnovativeInventor's full-sized avatar

Max Fan InnovativeInventor

Block or report InnovativeInventor

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. Assorted numerics experiments. Mirror of https://git.sr.ht/~mxf/numerics-playground

    Jupyter Notebook

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

    Agda 2

  3. Use MCMC to analyze districting plans and gerrymanders

    Python 149 76

  4. 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, in coq

    Coq 2

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

    Rust 4 1