tlaplus 是用 Java 编写的学习资料,用于系统学习与查阅,主打实现清晰。
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
microsoft
Windows 效率工具集,提供窗口管理、批量重命名、取色器等系统增强功能。目前累计 14 万 star、8.7k fork,在本地项目库中星标排名约第 76 / 65722,主要语言为 C,项目始于 2019 年,采用 MIT 许可。最近状态:本周仍有提交。
适合谁:推荐给需要桌面端软件的团队:涉及 advanced-paste、color-picker、command-palette、desktop 方向。
按累计星标排序,库内共 65,724 个项目(GitHub 上星标 ≥ 1k 的公开仓库约 66,033 个)。
优先使用本地记录的星标快照计算近 7 天真实增量;快照不足 7 天时,按「创建以来日均获星」估算,数值旁会标注口径。
已收录 GitHub 星标过千的公开项目,附原始简介、语言、主题与活跃度。用一句自然语言描述需求,即可获得 AI 推荐。
tlaplus 是用 Java 编写的学习资料,用于系统学习与查阅,主打实现清晰。
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
学习C & C++ & python&汇编语言 LLVM编译器 数据结构 算法 操作系统 单片机 linux 面试
学习C & C++ & python&汇编语言 LLVM编译器 数据结构 算法 操作系统 单片机 linux 面试
python-ds 是用 Python 编写的学习资料,用于系统学习与查阅,主打易用、界面美观。
No non-sense and no BS repo for how data structure code should be in Python - simple and elegant.
Collections-C 是用 C 编写的学习资料,用于系统学习与查阅。
A library of generic data structures for the C language.
TypeScript 是用 TypeScript 编写的学习资料,用于系统学习与查阅,主打实现清晰。
Algorithms and Data Structures implemented in TypeScript for beginners, following best practices.
DataStructures-Algorithms 是用 C++ 编写的学习资料,用于系统学习与查阅。
The best library for implementation of all Data Structures and Algorithms - Trees + Graph Algorithms too!
EPIJudge 是用 C++ 编写的学习资料,用于系统学习与查阅。
EPI Judge - Preview Release
AIGC-interview/CV-interview/LLMs-interview面试问题与答案集合仓,同时包含工作和科研过程中的新想法、新问题、新资源与新项目
AIGC-interview/CV-interview/LLMs-interview面试问题与答案集合仓,同时包含工作和科研过程中的新想法、新问题、新资源与新项目
Data-Structures-and-Algorithms 是用 Go 编写的学习资料,用于系统学习与查阅。
Data Structures and Algorithms implementation in Go
My Solutions to Leetcode problems. All solutions support C++ language, some support Java and Python. Multiple solution…
My Solutions to Leetcode problems. All solutions support C++ language, some support Java and Python. Multiple solutions will be given by most proble…
:monkey:LeetCode、剑指Offer刷题笔记(C/C++、Python3实现)
:monkey:LeetCode、剑指Offer刷题笔记(C/C++、Python3实现)
PHP 是用 PHP 编写的学习资料,用于系统学习与查阅,主打实现清晰。
All Algorithms implemented in PHP
DSAlgo 是用 Python 编写的学习资料,用于系统学习与查阅。
📚A repository that contains all the Data Structures and Algorithms concepts and solutions to various problems in Python3 stored in a structured man…
计算机优质书籍搜罗+学习路线推荐!
计算机优质书籍搜罗+学习路线推荐!
sc 是用 C 编写的学习资料,用于系统学习与查阅。
Common libraries and data structures for C.
python-for-coding-test 是用 Python 编写的学习资料,用于系统学习与查阅。
[한빛미디어] "이것이 취업을 위한 코딩 테스트다 with 파이썬" 전체 소스코드 저장소입니다.
😀 代码面试题集,包括剑指 Offer、编程之美等
😀 代码面试题集,包括剑指 Offer、编程之美等
ACM-ICPC-Algorithms 是用 C++ 编写的学习资料,用于系统学习与查阅。
Algorithms used in Competitive Programming
python-coding-interview 是用 TeX 编写的学习资料,用于系统学习与查阅,主打开源免费。
A middle-to-high level open source algorithm book designed with coding interview at heart!
FunctionalPlus 是用 C++ 编写的学习资料,用于系统学习与查阅。
Functional Programming Library for C++. Write concise and readable C++ code.
project-box 是用 C 编写的学习资料,用于系统学习与查阅。
C projects: algorithms, games, and networking
DataStructures-Algorithms 是用 C++ 编写的学习资料,用于系统学习与查阅。
This repo contains links of resources, theory subjects content and DSA questions & their solution for interview preparation from different websites …
CppRobotics 是用 C++ 编写的学习资料,用于系统学习与查阅。
cpp implementation of robotics algorithms including localization, mapping, SLAM, path planning and control
项目列表来自 GitHub 官方 Search API(stars:>1000)。单个查询最多只能返回前 1000 条,所以「同步热门」取到的是星标最高的 1000 个;要拿全量必须按星标区间拆成多个查询——本站会先查各区间的真实数量再自动切分(1k–2k 约 3.2 万个,2k–5k 约 2.1 万个,5k–20k 约 1 万个,2 万以上约 2300 个)。GitHub 上星标过千的公开仓库当前约 66,033 个,本站已收录 65,724 个。星标、简介、语言与主题均为 GitHub 原始字段,未做人工逐一核验。
中文介绍分三种来源,卡片与详情页均有标注:热门项目使用本站人工维护的条目;其余项目由程序依据语言、主题、简介中的特征词与项目数据自动生成;仓库原简介本身是中文时直接引用原文。自动生成的介绍只是对公开字段的归纳,不代表项目方表述,也不构成选型结论。
每日推荐按北京时间每天从星标 6000 以上、近 18 个月仍有提交且未归档的项目中选取,排除近 120 天已推荐过的项目,同一天内结果固定。推荐结果由规则引擎(或配置的大模型)生成,不构成选型结论。
每天每台设备可免费检索 3 次,浏览、筛选和关键词查找不消耗额度。选择下方任一方案即可继续(当前为模拟支付)。
模拟支付不会接入真实渠道,也不会产生任何扣款。