主题 · systems-programming

systems-programming

标记 systems-programming 主题、收录中的开源项目，按星标数排序。

项目数

7

总星标数

23,534

平均星标数

3,362

占比

0.00%

常跟 systems-programming 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 systems-programming 主题的项目。

#1
kimi-k3-in-c ↗@FareedKhan-devC
Kimi K3 2.78 兆参数模型，单 CPU 推理 8.24 GB RAM，C99 可携式：无 BLAS、无框架、无 GPU
★ 7,205

#1
pdfs ↗@tpnHTML
技术导向的 PDF 收藏（论文、规格、幻灯片、手册等）— 在 tpn.github.io/pdfs 浏览与搜索
★ 10,126+3近 7 天星标变化
#2
kimi-k3-in-c ↗@FareedKhan-devC
Kimi K3 2.78 兆参数模型，单 CPU 推理 8.24 GB RAM，C99 可携式：无 BLAS、无框架、无 GPU
★ 7,205+468近 7 天星标变化
#3
zerosharp ↗@MichalStrehovskyC#
使用 .NET 原生提前编译技术展示 C# 应用于系统编程潜力的示例
★ 2,123-1近 7 天星标变化
#4
Vale ↗@ValeLangScala
Vale 编程语言的编译器 - http://vale.dev/
★ 2,008+0近 7 天星标变化
#5
high-assurance-rust ↗@tnballoRust
一本关于开发安全且强固之系统软件的免费书籍。
★ 1,413+0近 7 天星标变化
#6
magmide ↗@magmideRocq Prover
一种依赖类型证明语言，旨在让软件工程师能够编写可证明正确的裸机代码。
★ 835+0近 7 天星标变化
#7
vector-db-from-scratch ↗@skyzhRust
在 Apache Datafusion 与 CMU-DB 的 BusTub 系统上构建向量数据库扩展
★ 798+6近 7 天星标变化

← 返回主题列表