int-y1
Follow
-
runtimes-docker Public
Forked from DMOJ/runtimes-dockerRuntimes supported by DMOJ in a docker container
Dockerfile GNU Affero General Public License v3.0 UpdatedJun 15, 2025 -
online-judge Public
Forked from DMOJ/online-judgeA modern open-source online judge and contest platform system.
Python GNU Affero General Public License v3.0 UpdatedApr 11, 2025 -
judge-server Public
Forked from DMOJ/judge-serverJudging backend server for the DMOJ online judge.
Python GNU Affero General Public License v3.0 UpdatedMar 31, 2025 -
Documentation for setting up and using the DMOJ judge.
C++ UpdatedMar 7, 2025 -
martor Public
Forked from DMOJ/martorFork of the martor Markdown editor for use in the DMOJ.
CSS GNU General Public License v3.0 UpdatedDec 25, 2024 -
dmoj-pagedown Public
Forked from DMOJ/dmoj-pagedownA fork of pagedown to add support for Latex and fenced code blocks for use on the DMOJ.
JavaScript Other UpdatedDec 25, 2024 -
cosearch Public
Forked from cosearch-lab/cosearchMassively Collaborative Research
Svelte Apache License 2.0 UpdatedOct 9, 2024 -
busycoq Public
Forked from meithecatte/busycoqBusy Beaver deciders backed by Coq proof
Coq MIT License UpdatedOct 9, 2024 -
bbchallenge Public
Forked from bbchallenge/bbchallengeFrontend of https://bbchallenge.org
HTML UpdatedAug 11, 2024 -
-
-
coq-100-theorems Public
Forked from rocq-community/coq-100-theoremsStatements of famous theorems proven in Coq [maintainer=@jmadiot]
HTML Other UpdatedMar 7, 2024 -
magic-trace Public
Forked from janestreet/magic-tracemagic-trace collects and displays high-resolution traces of what a process is doing
OCaml MIT License UpdatedMar 3, 2024 -
bbchallenge-proofs Public
Forked from bbchallenge/bbchallenge-proofsMathematical proofs of the bbchallenge project.
TeX Creative Commons Attribution 4.0 International UpdatedJan 26, 2024 -
-
codespell Public
Forked from codespell-project/codespellcheck code for common misspellings
Python GNU General Public License v2.0 UpdatedNov 5, 2023 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedOct 8, 2023 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedSep 6, 2023 -
testlib Public
Forked from MikeMirzayanov/testlibC++ library to develop competitive programming problems
C++ MIT License UpdatedSep 3, 2023 -
-
caniuse Public
Forked from Fyrd/caniuseRaw browser/feature support data from caniuse.com
JavaScript Creative Commons Attribution 4.0 International UpdatedJul 2, 2023 -
-
dmoj-wpadmin Public
Forked from DMOJ/dmoj-wpadminWordPress look and feel for DMOJ administration panel
Less Other UpdatedDec 10, 2022 -
-
CTFOJ Public
Forked from jdabtieu/CTFOJLightweight CTF judge platform for capture-the-flag (CTF) clubs
Python GNU Affero General Public License v3.0 UpdatedSep 20, 2022 -
book Public
Forked from rust-lang/bookThe Rust Programming Language
Rust Other UpdatedSep 19, 2022 -
-
-
G11Game Public archive
This is a game for my grade 11 computer science course.
Java UpdatedFeb 7, 2017 -
SimpleGame Public archive
This is a game for my grade 12 computer science course, created in a group of 3 people.
Java UpdatedFeb 7, 2017