Max Fan

docker-pivpn. A secure docker container that sets up PiVPN in a virtual environment.

dict4schools. A children-friendly dictionary, with unsafe words removed

pbutil. Cross-platform implementation of macOS's pbcopy and pbpaste in Rust

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

hack-python-types. Abusing Python’s type-checker (mypy) to construct a propositional, constructive logic proof checker via the Curry-Howard correspondence and the BHK interpretation of intuitionistic logic. (see blog post)

TrumpTweet. Machine generated trump-like tweets

outcome-logic-coq. outcome logic, in coq

monobox. A Dockerfile compiler to simplify env managment

proof-repair-quotients. Artifact for "Proof Repair across Quotient Type Equivalences" paper (OOPSLA 2025 paper)

homomorphic-encryption. [ALPHA] Basic algebraic operators encrypted with LWE utilizing GPU acceleration and ripple adders

docker-haste. A secure container for running haste with docker or docker-compose

NumFuzz. OCaml

constant-time-benchmark. Benchmarking various constant time algorithms to validate various implementations against side-channel attacks in Golang

email-scheduler. A dirt-simple email scheduler using MongoDB as a queue and SMTP on Serverless. Intended for COVID testing reminders/notifications.

queuebot. A smart autoscaling queueing service for archivebot for eventual upload to the Internet Archive's Wayback Machine (WBM). Currently focusing on automatic archival of missing political and governmental twitter accounts. Live on efnet/#archivebot.

precinct-matcher. Monadic election precinct matcher for gerrymandering data collection and research at MGGG.

languagetool-website. the content of www.languagetool.org

trump-benford-law. Trump is a well-known liar. This repo is an analysis of numbers tweeted by Trump and Benford's law.

stop-and-frisk. Contains the data, graphs, and associated code for a non-comprehensive analysis of NYPD's "stop and frisk" policy in 2017

ssh. A simple ssh container for docker

raven-reader. A forever free, open source fork of Raven Reader

presidents-day. Dataset, analysis, and predictions for Choate's President's day, an annual tradition by the Head of School to randomly cancel school.

openssl.vim. Security fixes and update to the no longer maintained openssl.vim (https://github.com/dperelman/openssl.vim)

languagetool. Style and Grammar Checker for 25+ Languages

Dozenal-Keyboard-Layout. A keyboard layout for people who want to use base-12 (duodecimal/dozenal) system on a Mac

brain-analysis. CS 225 final project. Analyzing the difference in brain activity between viewing and imagining an image.

autoreach. Simplifying student life by reminding and automatically marking a student in REACH, simplifying Choate's nightly check-in process.

statping. Status Page for monitoring your websites and applications with beautiful graphs, analytics, and plugins. Run on any type of environment.

random-tournament-beacon. A secure randomness beacon utilizing the Bitcoin blockchain. Used to generate "nothing up my sleeve" seeds through cryptographic commitments and iterative hashing (as a time lock).

Boostnote. The note-taking app for programmers that focuses on markdown, snippets, and customizability.

english-words. :memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

scitech. The SciTECH website, Choate Rosemary Hall's Science and Technology Publiciation

pylamport. A simple Python library for generating cryptographic Lamport signatures

choate-tweets. An archive of all of Choate's tweets (both official tweets and related tweets) in a dehydrated form

InnovativeInventor. My GitHub profile.