主題 · 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,183

#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,183+442近 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 系統上建立向量資料庫擴充功能
★ 796+6近 7 天星數變化

← 返回主題列表