Pinned Loading

1. rides-optimizer rides-optimizer Public

   Interactive web app that uses integer programming to optimize ride selection at various amusement parks based on ride wait times and personal constraints/preferences.

   Python 1

2. traffic-flow-simulator traffic-flow-simulator Public

   A 2d cellular automaton to simulate the flow of traffic on multi-lane highways (personal project)

   C++

3. eisensteins-criterion eisensteins-criterion Public

   Command line tool to test whether randomly generated polynomials are irreducible via Eisenstein's criterion

   Rust

4. divisibility-circuits divisibility-circuits Public

   zkSNARK circuits for proving divisibility properties of prime field elements

5. symmetry-of-quotients symmetry-of-quotients Public

   Visualizing qoutient rings using the Manim animation engine

   Python

6. rot13-puzzle rot13-puzzle Public

   Python script that generates ROT13 decryption puzzles, stores them in a local database management system, and queries the results to show puzzle accuracy

   Python