-
-
-
bbchallenge Public
Forked from bbchallenge/bbchallengeFrontend of https://bbchallenge.org
HTML UpdatedDec 2, 2025 -
-
busy-beaver Public
Forked from sligocki/busy-beaverTools for finding Busy Beaver Turing Machines and Proving others as non-halting
Python MIT License UpdatedOct 19, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 23, 2025 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 22, 2025 -
bbchallenge-paper Public
Forked from bbchallenge/bbchallenge-paperbbchallenge's research outputs
TeX Creative Commons Attribution 4.0 International UpdatedAug 11, 2025 -
-
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 -
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 -
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
{{ message }}