Open Source Project Hot List Issue 119

 

1)观星者计数(Stargazers count)TOP10
名称 主编程语言 简介 详情 当前总星数 增加值 当前总提交数
go-profiler-notes Jupyter Notebook   3039 318 183
Awesome CTO     18547 300 179
Polars Rust   10646 271 4903
Remotion TypeScript   14771 269 9161
Excalidraw TypeScript   37424 260 2904
DevOps面试问题 Python   34916 251 682
Awesome MLOps     9204 235 274
LosslessCut JavaScript   14481 220 1707
Starship Rust   31430 187 2503
Kind2 Rust   2860 85 509

Kind2 是一种函数式编程语言和证明助手。它基于 HVM,一个懒惰的、非垃圾回收的、大规模并行的虚拟机。在作者的基准测试中,它的类型检查器超过了所有其他的证明助手,而且它的程序可以提供比 Haskell 的 GHC 更高的指数级速度。Kind2 释放了 Lambda Calculus 固有的并行性。

2)提交数(commits count)TOP10
名称 主编程语言 简介 详情 当前总提交数 增加值 当前总星数
Goobi workflow Java   8551 182 46
Sigma Python   14024 176 5869
Markuplint TypeScript   2568 98 347
PowerSimulations.jl Julia   7254 87 189
Qt Base C++   59406 82 1851
Suricata C   13975 63 2894
Apache InLong Java   2986 62 1068
libratbag C   2249 55 1666
yt项目 C++   32670 52 367
SonarQube Java   32640 87 7060

 

你好!勤快的作者和贡献者们!辛苦了,感谢你们的辛勤付出。

注:数据来源于 GitHub。数据生成于【2022/12/18 2:00pm】,是一个与一周前的数据进行比较的版本。

文章同期在公号“Worldlink资源网”发布,欢迎关注。

Like:
0
To the top