#
Lists (21)
Computer Science
50 repositories
Cpp
6 repositories
CSS
1 repository
Entertaiment
117 repositories
Flutter
1 repository
🔮 Future ideas
1 repository
Go
1 repository
Hyprland dotfiles
6 repositories
✨ Inspiration
1 repository
iOS
30 repositories
JavaScript
6 repositories
LaTex
13 repositories
Mathematics
11 repositories
OpenSource Books and Others
9 repositories
Phisics
1 repository
Python
8 repositories
Rust
2 repositories
TypeScript
2 repositories
USTC&UCAS
中科大、国科大课程资源等集合3 repositories
Web
1 repository
Wonderful Tools
226 repositories
Starred repositories
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
The communications platform that puts data protection first.
A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
An open-source AI agent that brings the power of Gemini directly into your terminal.
An enterprise-class UI design language and React UI library
🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
Brave browser for Android, iOS, Linux, macOS, Windows.
A tiny (803KB) but mighty timer in pure C. Supports clock, countdown, stopwatch, Pomodoro, and fully customizable tray animations (GIFs, CPU/Mem%).
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
A command-line app for downloading Apple Music songs, music videos and post videos.
An open-source, self-hosted note-taking service. Your thoughts, your data, your control — no tracking, no ads, no subscription fees.
Collections of awesome neovim plugins.
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
The unified repository containing the Neos core packages, used for Neos development.
Exploit Development and Reverse Engineering with GDB & LLDB Made Easy
A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience
Lean 4 programming language and theorem prover
PDF scientific paper translation with preserved formats - 基于 AI 完整保留排版的 PDF 文档全文双语翻译，支持 Google/DeepL/Ollama/OpenAI 等服务，提供 CLI/GUI/Docker
A formalized proof of Carleson's theorem in Lean
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians a…
The beautiful & flexible React.js docs framework.