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.

repo · sayfa 1 / 1

Sırala

Yıldız/gün (hız)Son gün (★/gün)Son hafta (★/gün)Son ay (★/gün)Toplam yıldız AI önem skoru Bana uyum Commit (28g)Yazar (28g)En yeni

Konu

Tümü AI / LLM18 Veri9 Geliştirici araçları13 Diğer3 SaaS altyapı13 Web11

Web

Tümü typescript 3.655 react 2.037 nextjs 907 javascript 680 tailwindcss 442 animation 282 design-system 226 react-native 225 shadcn-ui 146 ui-components 120 vercel 117

Süz

Yalnız hareketli Yalnız analizli≥ 0 ≥ 100 ≥ 500 ≥ 2.000

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…

Aktif lean4

1
sthamann/tfpt 445
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, veri
2,3/gün ort. +0 son gün 28 commit 1 yazar Python 27 Nis 2026 güncellendi dün
cosmology latex lean4 mathematical-physics nextjs particle-physics python reproducible-research
445
2
midspiral/LemmaScript 131
verification toolchain for TypeScript (Tech Preview)
0,6/gün ort. +1 son gün — commit TypeScript 30 Mar 2026 güncellendi 4 gün önce
dafny lean lean4 lemmascript typescript ai llm verification
131
3
Millillion/lasm 89
Lean for JavaScript and WebAssembly runtimes
2,2/gün ort. +1 son gün — commit C 23 Eyl 2026 güncellendi bugün
bun cloudflare-workers compiler deno dependent-types edge-computing formal-verification full-stack
89
4
jessealama/thales 67
TypeScript compiler and JavaScript engine in Lean
0,3/gün ort. +0 son gün — commit Lean 23 Nis 2026 güncellendi 22 gün önce
javascript lean4 typescript
67