探索项目
筛选并发现收录的、配有高质量中文文档或教程的 GitHub 项目。
找到 10701 个项目
|
数据更新于：2025-10-12 05:56
rocq-prover/rocq
5.2k
694
2.6k
Rocq 证明器是一个交互式定理证明器，或称为证明助手。它提供了一种形式化语言，用于编写数学定义、可执行算法和定理，并提供了一个用于半交互式开发机器检查证明的环境。
OCaml
204.2 MB
2025-10-11
已收藏！可在“我的账户”中查看
duxianwei520/react
5.2k
1.8k
25
React+webpack+redux+ant design+axios+less全家桶后台管理框架
JavaScript
React
2.8 MB
2024-06-21
已收藏！可在“我的账户”中查看
rrousselGit/provider
5.2k
523
37
InheritedWidgets，但更简单
Dart
Flutter
1.4 MB
2025-08-19
已收藏！可在“我的账户”中查看
yansongda/pay
5.2k
1.0k
42
可能是我用过的最优雅的 Alipay/WeChat/Douyin/Unipay/江苏银行 的支付 SDK 扩展包了
PHP
Laravel
3.1 MB
2025-09-19
已收藏！可在“我的账户”中查看
rest-client/rest-client
5.2k
938
140
受微框架语法启发，用于指定操作的 Ruby 简单 HTTP 和 REST 客户端。
Ruby
1.4 MB
2024-05-19
已收藏！可在“我的账户”中查看
bbatsov/prelude
5.2k
1.9k
20
Prelude 是一个增强的 Emacs 25.1+ 发行版，它将使你使用 Emacs 的体验更加愉悦且功能更强大。
Emacs Lisp
5.3 MB
2025-07-31
已收藏！可在“我的账户”中查看
charlesq34/pointnet
5.2k
1.5k
183
PointNet：用于3D分类和分割的点集深度学习
Python
TensorFlow
532 KB
2023-11-30
已收藏！可在“我的账户”中查看
ineo6/hosts
5.2k
444
13
GitHub最新hosts。解决GitHub图片无法显示，加速GitHub网页浏览。
TypeScript
9.6 MB
2025-10-12
已收藏！可在“我的账户”中查看
onmyway133/awesome-ios-architecture
5.2k
525
2
:日本城堡: 更好地构建iOS应用的方法
React
773 KB
2023-11-29
已收藏！可在“我的账户”中查看
digitalbazaar/forge
5.2k
815
454
JavaScript中TLS的原生实现以及编写基于加密和网络密集型Web应用程序的工具
JavaScript
4.9 MB
2024-08-15
已收藏！可在“我的账户”中查看
fonsp/Pluto.jl
5.2k
318
368
🎈 为Julia提供的简单响应式笔记本
Julia
React
数据可视化
59.4 MB
2025-10-10
已收藏！可在“我的账户”中查看
benoitvallon/react-native-nw-react-calculator
5.2k
863
24
移动端、桌面端和网站应用使用相同的代码
JavaScript
React
React Native
1.8 MB
2021-10-04
已收藏！可在“我的账户”中查看
amdegroot/ssd.pytorch
5.2k
1.7k
381
单阶段多框检测器的PyTorch实现
Python
PyTorch
106.3 MB
2021-12-29
已收藏！可在“我的账户”中查看
markerikson/redux-ecosystem-links
5.2k
367
31
一个分类的 Redux 相关插件、库和工具列表
React
1.2 MB
2023-06-16
已收藏！可在“我的账户”中查看
