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.
3
repo · sayfa 1 / 1
Sırala
AI / LLM
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
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
0,3/gün ort. +1 son gün — commit Rust 15 Haz 2026 güncellendi bugün - 2
The Hale programming language: general-purpose, native and memory-safe, from a five-line script to a dynamic distributed system. Less langua
0,2/gün ort. +0 son gün — commit Rust 15 May 2026 güncellendi dün - 3
A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhausti
0,1/gün ort. +0 son gün — commit JavaScript 07 Tem 2026 güncellendi 13 Eyl 2026