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 proof-assistant

1
morluto/jacobian 353
Composable mathematics tools for agents
3,4/gün ort. +2 son gün +2,4 son 7g 47 commit 2 yazar Python 23 Tem 2026 güncellendi 3 gün önce
ai-agents computer-algebra formal-methods mcp mcp-server theorem-proving lean4 sympy
353
2
frenzymath/Archon 230
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +1 son gün +0,3 son 7g — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026
ai-agents automation claude claude-code codex dag formal-methods lean
230