Topic · systems-programming

systems-programming

Tracked open-source repos tagged systems-programming, sorted by stars.

Repos

6

Total stars

23,220

Avg. stars

3,870

Share

0.00%

Topics that frequently appear alongside systems-programming on the same repo.

Recent risers

Repos created in the last 90 days, tagged systems-programming.

#1
kimi-k3-in-c ↗@FareedKhan-devC
A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.
★ 6,918

#1
pdfs ↗@tpnHTML
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc) — browse & search it at tpn.github.io/pdfs
★ 10,123+18Star change over the last 7 days
#2
kimi-k3-in-c ↗@FareedKhan-devC
A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB of RAM. Portable C99: no BLAS, no framework, no GPU.
★ 6,918+485Star change over the last 7 days
#3
zerosharp ↗@MichalStrehovskyC#
Demo of the potential of C# for systems programming with the .NET native ahead-of-time compilation technology.
★ 2,124+0Star change over the last 7 days
#4
Vale ↗@ValeLangScala
Compiler for the Vale programming language - http://vale.dev/
★ 2,008+0Star change over the last 7 days
#5
high-assurance-rust ↗@tnballoRust
A free book about developing secure and robust systems software.
★ 1,413+2Star change over the last 7 days
#6
magmide ↗@magmideRocq Prover
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
★ 835+0Star change over the last 7 days

← Back to topics