-
LeanCamCombi Public
Forked from YaelDillies/LeanCamCombiFormalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Lean Apache License 2.0 UpdatedJan 24, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJan 11, 2026 -
competitive_programming Public
My competitive programming setup and various solutions.
-
kattis-util Public
An *unofficial* collection of Python/CLI utilities for interfacing with the Kattis online judge. Not related to https://github.com/Kattis/kattis-utils.
Python MIT License UpdatedDec 27, 2025 -
kattis-cli Public
Forked from Kattis/kattis-cliKattis online judge command line tool
Python MIT License UpdatedJun 1, 2025 -
fixed_points Public
Formalization of fixed-point theorems in Lean 4 for Mathlib4
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_lean(My fork of) The user home repository for the Mathematics in Lean tutorial.
HTML UpdatedOct 7, 2024 -
ChandraFurstLipton Public
Forked from YaelDillies/ChandraFurstLiptonFormalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
TeX Apache License 2.0 UpdatedSep 30, 2024 -
-
dactl Public
Forked from kth-competitive-programming/kactlThe ICPC Team Reference Document for the University of Texas at Dallas, based on KACTL
-
honeybot Public
An anti-spam Discord bot that automatically bans users who message in a designated honeypot channel.
-
TLE Public
Forked from cheran-senthil/TLE🤖 Discord Bot for Competitive Programming
Python MIT License UpdatedJan 20, 2024 -
omega_zero Public
A generalized game bot (for chess, go, etc.) written in C++ 20.
UpdatedJul 2, 2023 -
Codeburners-Meetings Public
Code used in presentations at Codeburners meetings
C++ UpdatedSep 17, 2021 -
MandelBot Public
A Discord Bot that generates images of fractals (currently W.I.P.).
JavaScript UpdatedApr 23, 2021 -
-
-
first-contributions Public
Forked from firstcontributions/first-contributions🚀✨ Help beginners to contribute to open source projects
MIT License UpdatedMar 28, 2019
{{ message }}