Jason Chen's repositories
dismint
GitHub Profile
000
Language:Python000
18.404-forest
Forest for 18.404 (WIP)
Language:NixMIT000
Language:XSLTMIT000
aoc23
Advent of Code 2023 in Haskell
Language:HaskellMIT000
pokemon-door-signs
Next house Pokémon door signs scripts
Language:HaskellMIT000
agda-playground
Learning and messing around in Agda
Language:HaskellMIT000
egmo-book-errata
Errata for Euclidean Geometry in Math Olympiads
000
mit-18404-notes
Notes for theory of computation
clang-tidy.nvim
A plugin to publish clang-tidy checks on neovin lsp diagnostics
000
plenary.nvim
plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.
MIT000
cornelis
agda-mode for neovim
Language:HaskellBSD-3-Clause000
monad-challenges
A set of challenges for jump starting your understanding of monads.
schedgehog
Project for MIT's 6.945
julia-sets
Implementation of naive agorithm for rendering the julia set
mit-6820-notes
Notes for program analysis
mit-18905-notes
Notes for algebraic topology