YoungGT's Stars
gap-system/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
ahrm/sioyek
Sioyek is a PDF viewer with a focus on textbooks and research papers
arsenetar/dupeguru
Find duplicate files
xyls184/hebeu-thesis-typst
myzhang24/hartshorne-solution
Solutions of exercises in Algebraic Geometry
chen310/BilibiliPotPlayer
PotPlayer 哔哩哔哩插件:可以直接在 PotPlayer 中播放哔哩哔哩中的视频、直播和音乐
ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
idea4good/GuiLite
✔️The smallest header-only GUI library(4 KLOC) for all platforms
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
catchorg/Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
x64dbg/x64dbg
An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.
jiyouhai/my-math-notes
simdjson/simdjson
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
nlohmann/json
JSON for Modern C++
Sparky-Xia/THU-Mathematics-Books
清华数学系部分课程教材及参考资料,自用,侵删
gibsjose/cpp-cheat-sheet
C++ Syntax, Data Structures, and Algorithms Cheat Sheet
WerWolv/ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Bionus/imgbrd-grabber
Very customizable imageboard/booru downloader with powerful filenaming features.
TunkShif/zgsm_bot
¿zgsm?
coq/platform
Multi platform setup for Coq, Coq libraries and tools
KyouyamaKazusa0805/Sudoku
A sudoku solver using brute forces and logical techniques.
ivmm/Student-resources
本文介绍的是利用学生、教职工身份可以享受到的相关学生优惠、教育优惠或教师优惠的权益,但也希望各位享受权利的同时不要忘记自己的义务,不要售卖、转手自己的学生优惠、教育优惠的资格,使得其他同学无法受益。
TheAlgorithms/C-Sharp
All algorithms implemented in C#.
RimoChan/yinglish
【yinglish】淫语翻译机!
shaokeyibb/HeLangKotlinScriptImpl
次世代赛博编程语言何语言现已兼容 JVM 平台!
Cyl18/NaquadahFix
Coq-zh/SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
3b1b/manim
Animation engine for explanatory math videos
CFPAOrg/Minecraft-Mod-Language-Package
A language package for Minecraft Mods.
Hedgehog-Computing/hedgehog-lab
Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.