【文件属性】：
文件名称：leetcode打不开-github-stars:我的GitHub星星精选列表
文件大小：852KB
文件格式：ZIP
更新时间：2021-06-30 01:50:48
系统开源
leetcode打不开Nikita
的
13,000
多个
GitHub
Stars
我的
GitHub
星星精选列表！
生成者
我可以在几秒钟内使用
由于有超过
13,000
颗星和
GitHub
限制了它可以在自述文件中呈现的行数。
这个
repo
被分成多个部分。
请参阅此
repo
中的
2.md、3.md
和其他文件。
一切都按字母顺序排列。
也可以使用搜索栏搜索这个
repo
来找到你想要的东西。
动作脚本
名称
描述
作者
星星
1
VVVVVV的源代码！
特里卡瓦纳
5893
2
开源
Flash
和
Shockwave
规范的请愿书
开源闪存
7220
艾达
名称
描述
作者
星星
1
基于
LLVM
的
GNAT
编译器
核心
72
2
为
Ada
和
SPARK
实现
Microsoft
语言协议的服务器
核心
59
3
Ada
语义分析库。
核心
73
4
适用于
x86-64
的
SPARK/Ada
中的通用、正式验证的
64
位操作系统
多安德鲁
34
阿格达
名称
描述
作者
星星
1
同伦类型理论入门课程
埃格伯特·莱克
162
2
Agda
的新类别库
【文件预览】：
github-stars-master
----7.md(643KB)
----6.md(259KB)
----8.md(889KB)
----readme.md(250KB)
----11.md(533KB)
----3.md(907KB)
----9.md(569KB)
----4.md(337KB)
----5.md(918KB)
----10.md(411KB)
----2.md(516KB)