leetcode打不开-github-stars:我的GitHub星星精选列表

时间:2024-07-19 19:37:28
【文件属性】:

文件名称:leetcode打不开-github-stars:我的GitHub星星精选列表

文件大小:852KB

文件格式:ZIP

更新时间:2024-07-19 19:37:28

系统开源

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)

网友评论