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.688 react 2.055 nextjs 915 javascript 694 tailwindcss 447 animation 289 design-system 230 react-native 227 shadcn-ui 147 ui-components 122 vercel 118

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 formal-verification

1
aidenybai/tla-ts 174
A TLA+ interpreter and model checker in TypeScript
19,3/gün ort. +11 son gün 586 commit 1 yazar TypeScript 26 Eki 2026 güncellendi dün
formal-verification tlaplus typescript
174
2
Millillion/lasm 95
Lean for JavaScript and WebAssembly runtimes
2,3/gün ort. +6 son gün — commit C 23 Eyl 2026 güncellendi dün
bun cloudflare-workers compiler deno dependent-types edge-computing formal-verification full-stack
95
3
cristianoc/TScert 36
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a pr
1,9/gün ort. — commit TypeScript 16 Eki 2026 güncellendi dün
formal-verification lean4 proof-carrying-code type-safety type-systems typescript
36
4
TraceFold/tracefold 20
AI agents should not make irreversible changes. TraceFold escrows the inverse before an effect lands, or refuses it, and issues receipts any
0,2/gün ort. +0 son gün — commit Rust 13 Ağu 2026 güncellendi 04 Eyl 2026
agent-safety ai-agents attestation audit-log audit-trail cli formal-verification javascript
20