Pinned Repositories
community
Public feedback discussions for: GitHub Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more!
2nd-Minima
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 blogs using GitHub Pages.
Deep0Thinking
Deep0Thinking.github.io
Deep0Thinking's personal website
DevGuardian-Bot
A Discord bot designed to monitor and report the contributions of team members within a Discord server.
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
vscode-CP-codeforces
A VSCode extension that enables users to view and solve Codeforces problems within VS Code.
cloudflare-ddns
🎉🌩️ Dynamic DNS (DDNS) service based on Cloudflare! Access your home network remotely via a custom domain name without a static IP!
typst
A new markup-based typesetting system that is powerful and easy to learn.
Deep0Thinking's Repositories
Deep0Thinking/2nd-Minima
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 blogs using GitHub Pages.
Deep0Thinking/vscode-CP-codeforces
A VSCode extension that enables users to view and solve Codeforces problems within VS Code.
Deep0Thinking/Deep0Thinking
Deep0Thinking/Deep0Thinking.github.io
Deep0Thinking's personal website
Deep0Thinking/DevGuardian-Bot
A Discord bot designed to monitor and report the contributions of team members within a Discord server.
Deep0Thinking/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Deep0Thinking/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets