-
-
ctf-dev-container Public
Forked from pbrucla/ctf-dev-containerAll the CTF tooling you will need inside a GitHub Dev Container!
Shell UpdatedDec 10, 2025 -
chromium Public
Forked from chromium/chromiumThe official GitHub mirror of the Chromium source
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 29, 2025 -
The official mirror of the V8 Git repository
C++ Other UpdatedNov 26, 2025 -
ctf-archives Public
Forked from sajjadium/ctf-archivesCTF Archives: Collection of CTF Challenges.
Python MIT License UpdatedOct 21, 2025 -
L3akCTF-2025-public Public
Forked from L3AK-TEAM/L3akCTF-2025-publicThe official L3ak CTF 2025 challenge repo
Python UpdatedJul 24, 2025 -
cambridge-maths-notes Public
Forked from zeramorphic/cambridge-maths-notesLaTeX sources for notes for the maths courses at Cambridge.
TeX UpdatedFeb 15, 2025 -
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedNov 9, 2024 -
100-exercises-to-learn-rust Public
Forked from mainmatter/100-exercises-to-learn-rustA self-paced course to learn Rust, one exercise at a time.
Rust UpdatedOct 2, 2024 -
-
-
-
lean4-metaprogramming-book Public
Forked from leanprover-community/lean4-metaprogramming-bookLean Apache License 2.0 UpdatedApr 21, 2024 -
-
LFTCM2024 Public
Forked from riccardobrasca/LFTCM2024Repository for the conference LFTCM2024
Lean Apache License 2.0 UpdatedApr 17, 2024 -
LeanInk Public
Forked from leanprover/LeanInkLeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Lean Apache License 2.0 UpdatedMar 13, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedMar 6, 2024 -
latex-mimosis Public template
Forked from Pseudomanifold/latex-mimosisA minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
TeX MIT License UpdatedFeb 26, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 15, 2024 -
-
lean4-mode Public
Forked from leanprover-community/lean4-modeEmacs major mode for Lean 4
Emacs Lisp Apache License 2.0 UpdatedAug 28, 2023 -
cpts-quick-references Public
Forked from missteek/cpts-quick-referencesHTB Certified Penetration Testing Specialist CPTS Study
UpdatedJul 24, 2023 -
-
-
-
-
-
Vana Public
Forked from retep998/VanaGit mirror of the svn repo for Vana, a MapleStory private server written in C++.
C++ GNU General Public License v2.0 UpdatedDec 12, 2016
{{ message }}