Stars
A collection of awesome resources related to the yearly Advent of Code challenge.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Busuanzi Compatible Website Counter Powered by Go + Redis
A design system built by IBM
The Fully Customizable Desktop Environment for Windows 10/11.
一个基于 JavaScript 的网盘文件下载地址获取工具。基于【网盘直链下载助手】修改 ，支持 百度网盘 / 阿里云盘 / 中国移动云盘 / 天翼云盘 / 迅雷云盘 / 夸克网盘 / UC网盘 / 123云盘 八大网盘
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
Source Han Serif | 思源宋体 | 思源宋體 | 思源宋體 香港 | 源ノ明朝 | 본명조
🎨🖌 Modern, bright color theme for Sublime Text
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Versatile typeface for code, from code.
Sleek metrics overlay. Join our discord https://discord.gg/phqwe89cvE
Crack LeetCode, not only how, but also why.
A minimal, accessible and SEO-friendly Astro blog theme
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
Bash's powerful command line editing in cmd.exe
The GZ::CTF project, an open source CTF platform.
A no_std graphics library for embedded applications
Graphical Debugger for Sublime Text for debuggers that support the debug adapter protocol
信号与线性系统分析笔记，基于高等教育出版社《信号与线性系统分析》第5版, 吴大正 等著
To practice your competitive programming skills, try solving daily Codeforces problems!
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Restore a truncated mp4/mov. Improved version of ponchio/untrunc