Pinned Loading

1. heptagon-intersections heptagon-intersections Public

   Candidate computer-assisted proof that f(7,7)=38, the maximum number of boundary intersections of two simple heptagons. Under public review.

   Lean

2. real-analysis real-analysis Public

   A curated collection of canonical Real Analysis problems, aka LeetCode for Real Analysis

   TypeScript

3. fractals fractals Public

   Mandelbrot and Julia and mapping of both of them together.

   C++

4. zip-compressor zip-compressor Public

   Blazingly fast Tauri desktop app that compresses folders into ZIP archives using the Deflate algorithm

   Rust 1

5. game-controller game-controller Public

   ESP32 Game Controller w/ Joysticks and Keypad Matrix + Driver to read serial output & determine keyboard actions

   Python

6. TSVRN9/BLEh TSVRN9/BLEh Public

   Bluetooth Low Energy beacon made with high energy at HackUMass 2025

   Svelte 1