Pinned Repositories
notes
Scribed course notes.
code.pyret.org
Website for serving Pyret to folks.
Among-Us-Examplar
π Examplar but caterpillars are imposters
cclock
π A webclock to keep track of periods at school.
lforge
Embedding the Forge specification language via a machine translation as a language-level feature of the Lean theorem prover.
math1560-notes
Notes from Math 1560: Number Theory with Nicole Looper, Spring 2022
pyret-bot
A simple Pyret bot for Discord.
rooms
πͺ A tool for visualizing room availability.
site
My personal site.
jchen's Repositories
jchen/math1560-notes
Notes from Math 1560: Number Theory with Nicole Looper, Spring 2022
jchen/cclock
π A webclock to keep track of periods at school.
jchen/math1580-notes
Notes from Math 1580: Cryptography with Eric Larson, Spring 2022
jchen/promys24_lean_minicourse
jchen/pyret-bot
A simple Pyret bot for Discord.
jchen/site
My personal site.
jchen/Among-Us-Examplar
π Examplar but caterpillars are imposters
jchen/code.pyret.org
Website for serving Pyret to folks.
jchen/lforge
Embedding the Forge specification language via a machine translation as a language-level feature of the Lean theorem prover.
jchen/rooms
πͺ A tool for visualizing room availability.
jchen/colorizer
π Colorizing grayscale photographs.
jchen/compilers-final-benchmarks
Final benchmarks for the final homework.
jchen/cs1260-final-benchmarks
jchen/cs19-autograder
Gradescope-compatible autograder for CSCI 0190: Accelerated Introduction to Computer Science at Brown University
jchen/dearblueno
π§Έπ The anonymous posting board at Brown
jchen/git_lab
Git Lab for CSCI0190
jchen/gradescope-tex-autograder
π TeX Autograder for Gradescope - determines if TeX file successfully compiles
jchen/hop
π bunnies hop
jchen/ln
ποΈ shortlinks
jchen/math1010-notes
Notes for Math 1010: Analysis
jchen/math1620-notes
jchen/nt-crypto-notes
π’ Notes from MA672, Number Theory and Cryptography.
jchen/PopulationGrid
A small Python module that models human populations moving on a grid-like geography. Not currently being maintained.
jchen/pyret-codemirror-mode
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
jchen/pyret-docs
The documentation for Pyret.
jchen/pyret-lang
The Pyret language.
jchen/talounion-web
jchen/taxi
π Scraping Courses@Brown.
jchen/tex-template
π A collection of my TeX libraries.
jchen/wam
site for web as medium