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

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 mathlib

1
frenzymath/Archon-Horizon 37
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün — commit Python 01 Tem 2026 güncellendi 25 gün önce
agents ai autoformalization blueprints claude codex dashboard formalization
37
2
yamafaktory/formal 25
A Lean 4 + Mathlib proof service for the agent working on your code
0,1/gün ort. +0 son gün — commit Rust 10 Nis 2026 güncellendi 30 Eyl 2026
agents ai formal-verification lean4 claude mathlib theorem-proving
25