Açık kaynak radarı
Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
5
repo · sayfa 1 / 1
Sırala
Web
Süz
Yalnız hareketli, son 28 günde commit almamış repoları gizler (yıldızı olan ama bırakılmış projeler). Commit sayısı henüz ölçülmemiş repolar da gizlenir.
EtiketTüm GitHub etiketleri — repo sahiplerinin koyduğu topic'lergöster
Sırala:
Etiketler yükleniyor…
- 1
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a pr
6,4/gün ort. +34 son gün +49,5 son 2g 1.610 commit 1 yazar TypeScript 16 Eki 2026 güncellendi bugün - 2
Lean for JavaScript and WebAssembly runtimes
2,3/gün ort. +1 son gün +6,1 son 7g — commit C 23 Eyl 2026 güncellendi bugün - 3
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +1 son gün +0,7 son 7g — commit TypeScript 30 Mar 2026 güncellendi 2 gün önce - 4
TypeScript compiler and JavaScript engine in Lean
0,3/gün ort. +1 son gün +0,1 son 7g — commit Lean 23 Nis 2026 güncellendi 25 gün önce - 5
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, veri
2,2/gün ort. -20 son gün -2,9 son 7g 38 commit 1 yazar Python 27 Nis 2026 güncellendi dün