chezbgone

Jason Chen's repositories

chez-sty

Language:TeX13 1 4

dotfiles

Language:Vim Script8 10

mit-18905-notes

Notes for algebraic topology

Language:TeX5 10

mit-6820-notes

Notes for program analysis

Language:TeX5 10

iap-types-2023

Language:Python4 10

pokemon-door-signs

Next house Pokémon door signs scripts

Language:Python4 10

filtag

file tagging utility

Language:HaskellMIT3 10

julia-sets

Implementation of naive agorithm for rendering the julia set

Language:PythonMIT3 10

mit-18404-notes

Notes for theory of computation

Language:TeX3 1 1

decaf-compiler

Language:HaskellMIT2 10

personal-website

Language:CSS2 10

agda-playground

Learning and messing around in Agda

Language:Agda1 10

chaos-renderer

Language:HaskellMIT1 10

chez-bot

custom discord bot for server with friends

Language:Python1 10

cow-tsp

Language:Python1 10

miniF2F

Formal to Formal Mathematics Benchmark

Language:Objective-C++100

monad-challenges

A set of challenges for jump starting your understanding of monads.

Language:HaskellNOASSERTION100

nvim-cmp

A completion plugin for neovim coded in Lua.

Language:LuaMIT100

schedgehog

Project for MIT's 6.945

Language:SchemeMIT1 20

todotxtpy

My personal implementation of a todotxt CLI, in Python.

Language:Python100

18.404-forest

Forest for 18.404 (WIP)

Language:NixMIT000

aoc22

Language:HaskellMIT000

aoc23

Advent of Code 2023 in Haskell

Language:HaskellMIT000

clang-tidy.nvim

A plugin to publish clang-tidy checks on neovin lsp diagnostics

Language:Lua000

cornelis

agda-mode for neovim

Language:HaskellBSD-3-Clause000

divisibility-regex

Language:HaskellMIT010

egmo-book-errata

Errata for Euclidean Geometry in Math Olympiads

Language:TeX000

forester-not-numbered-example

Language:XSLTMIT010

plenary.nvim

plenary: full; complete; entire; absolute; unqualified. All the lua functions I don't want to write twice.

Language:LuaMIT000

RoboBanana

Language:Python000