Jason Yuen's repositories
bbchallenge
Frontend of https://bbchallenge.org
bbchallenge-proofs
Mathematical proofs of the bbchallenge project.
book
The Rust Programming Language
busycoq
Busy Beaver deciders backed by Coq proof
caniuse
Raw browser/feature support data from caniuse.com
codespell
check code for common misspellings
coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
CTFOJ
Lightweight CTF judge platform for capture-the-flag (CTF) clubs
dmoj-pagedown
A fork of pagedown to add support for Latex and fenced code blocks for use on the DMOJ.
dmoj-wpadmin
WordPress look and feel for DMOJ administration panel
docs
Documentation for setting up and using the DMOJ judge.
ICS4U-Team-Task-Words
This is a very small project that I created for my grade 12 computer science course.
JOMD
Discord bot for DMOJ
judge-server
Judging backend server for the DMOJ online judge.
lean4
Lean 4 programming language and theorem prover
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
martor
Fork of the martor Markdown editor for use in the DMOJ.
math-comp
Mathematical Components
online-judge
A modern open-source online judge and contest platform system.
runtimes-docker
Runtimes supported by DMOJ in a docker container
SimpleGame
This is a game for my grade 12 computer science course, created in a group of 3 people.
site-assets
DMOJ site assets.
testlib
C++ library to develop competitive programming problems
theorem_proving_in_lean4
Theorem Proving in Lean 4