Jiahua Chen's Projects
π Examplar but caterpillars are imposters
π A webclock to keep track of periods at school.
γ°οΈ An exploration into Chebyshev Polynomials.
Website for serving Pyret to folks.
π Colorizing grayscale photographs.
Final benchmarks for the final homework.
Gradescope-compatible autograder for CSCI 0190: Accelerated Introduction to Computer Science at Brown University
π§Έπ The anonymous posting board at Brown
π GerryGrid performs exhaustive searches of populations with all districting plans on a grid.
Git Lab for CSCI0190
π TeX Autograder for Gradescope - determines if TeX file successfully compiles
π bunnies hop
Embedding the Forge specification language via a machine translation as a language-level feature of the Lean theorem prover.
ποΈ shortlinks
Notes for Math 1010: Analysis
Notes from Math 1560: Number Theory with Nicole Looper, Spring 2022
Notes from Math 1580: Cryptography with Eric Larson, Spring 2022
Notes from MA662 β Multivariable Calculus
Hotchkiss Network Clock
π’ Notes from MA672, Number Theory and Cryptography.
A small Python module that models human populations moving on a grid-like geography. Not currently being maintained.
A simple Pyret bot for Discord.
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
The documentation for Pyret.
The Pyret language.
πͺ A tool for visualizing room availability.
My personal site.