Jiahua Chen's repositories
math1560-notes
Notes from Math 1560: Number Theory with Nicole Looper, Spring 2022
math1580-notes
Notes from Math 1580: Cryptography with Eric Larson, Spring 2022
Among-Us-Examplar
π Examplar but caterpillars are imposters
code.pyret.org
Website for serving Pyret to folks.
lforge
Embedding the Forge specification language via a machine translation as a language-level feature of the Lean theorem prover.
compilers-final-benchmarks
Final benchmarks for the final homework.
cs19-autograder
Gradescope-compatible autograder for CSCI 0190: Accelerated Introduction to Computer Science at Brown University
dearblueno
π§Έπ The anonymous posting board at Brown
git_lab
Git Lab for CSCI0190
gradescope-tex-autograder
π TeX Autograder for Gradescope - determines if TeX file successfully compiles
math1010-notes
Notes for Math 1010: Analysis
nt-crypto-notes
π’ Notes from MA672, Number Theory and Cryptography.
PopulationGrid
A small Python module that models human populations moving on a grid-like geography. Not currently being maintained.
pyret-codemirror-mode
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
pyret-docs
The documentation for Pyret.
pyret-lang
The Pyret language.
tex-template
π A collection of my TeX libraries.