Topik · systems-programming

systems-programming

Repositori open source terpantau bertanda systems-programming, diurutkan berdasarkan bintang.

Repositori

6

Total bintang

23.220

Rata-rata bintang

3.870

Porsi

0,00%

Topik yang sering muncul berdampingan dengan systems-programming di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda systems-programming.

#1
kimi-k3-in-c ↗@FareedKhan-devC
Kimi K3 dengan 2,78 triliun parameter yang menjalankan inferensi pada satu CPU dalam RAM 8,24 GB. C99 portabel: tanpa BLAS, tanpa framework, tanpa GPU.
★ 6.918

#1
pdfs ↗@tpnHTML
Koleksi PDF berorientasi teknis (Makalah, Spesifikasi, Presentasi, Panduan, dll) — jelajahi & cari di tpn.github.io/pdfs
★ 10.123+18Perubahan bintang dalam 7 hari terakhir
#2
kimi-k3-in-c ↗@FareedKhan-devC
Kimi K3 dengan 2,78 triliun parameter yang menjalankan inferensi pada satu CPU dalam RAM 8,24 GB. C99 portabel: tanpa BLAS, tanpa framework, tanpa GPU.
★ 6.918+485Perubahan bintang dalam 7 hari terakhir
#3
zerosharp ↗@MichalStrehovskyC#
Demo potensi C# untuk pemrograman sistem dengan teknologi kompilasi ahead-of-time native .NET.
★ 2.124+0Perubahan bintang dalam 7 hari terakhir
#4
Vale ↗@ValeLangScala
Kompilator untuk bahasa pemrograman Vale - http://vale.dev/
★ 2.008+0Perubahan bintang dalam 7 hari terakhir
#5
high-assurance-rust ↗@tnballoRust
Buku gratis tentang pengembangan perangkat lunak sistem yang aman dan tangguh.
★ 1.413+2Perubahan bintang dalam 7 hari terakhir
#6
magmide ↗@magmideRocq Prover
Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.
★ 835+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik