-
-
LeanArchitect Public
Forked from hanwenzhu/LeanArchitectLeanArchitect extracts a blueprint directly from Lean source.
Lean Apache License 2.0 UpdatedApr 8, 2026 -
2nd-Minima Public template
2nd-Minima is an enhanced and customized version of the Jekyll-theme-Minima, tailored for personal blogging. It includes detailed step-by-step tutorials for beginners on building and deploying blog…
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedApr 6, 2026 -
Automates input language switching and key remapping in Windows using AutoHotkey v2.
script autohotkey autohotkey-script autohotkeys-scripts autohotkey-v2 autohotkey-language autohotkeyv2AutoHotkey MIT License UpdatedOct 15, 2025 -
Schedule-Planner Public
A lightweight SPA + Flask backend that lets students pick course sections and instantly enumerate every clash‑free timetable.
JavaScript MIT License UpdatedAug 16, 2025 -
Deep0Thinking.github.io Public
Deep0Thinking's personal website
-
TeX Creative Commons Attribution 4.0 International Updated
Mar 13, 2025 -
LeanTeX Public
Forked from kmill/LeanTeXLean 4 library for pretty printing expressions as LaTeX
Lean Apache License 2.0 UpdatedMar 5, 2025 -
-
-
vscode-CP-codeforces Public archive
A VSCode extension that enables users to view and solve Codeforces problems within VS Code.
-
cs2-duel-cfg Public
duel.cfg is a config for Counter-Strike 2 that sets up a simple 1v1 environment. Both teams receive an AWP and Deagle, with full armor, no freeze time, instant round restarts, and unlimited buy opt…
MIT License UpdatedJan 9, 2025 -
This app visualizes 1D special relativity (relativistic motion) in any chosen reference frame.
Python MIT License UpdatedDec 23, 2024 -
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedMay 21, 2024 -
DevGuardian-Bot Public
A Discord bot designed to monitor and report the contributions of team members within a Discord server.
Python MIT License UpdatedApr 1, 2024 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedNov 3, 2023
{{ message }}