int-y1 Goto Github PK

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

cheese

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.

g11game

This is a game for my grade 11 computer science course.

ics4u-team-task-words

This is a very small project that I created for my grade 12 computer science course.

int-y1.github.io

jomd

Discord bot for DMOJ

judge-server

Judging backend server for the DMOJ online judge.

latex-repo-for-students

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.

proofs

random proofs in lean 4

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

themes

theorem_proving_in_lean4

Theorem Proving in Lean 4