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 352
Composable mathematics tools for agents
3,4/gün ort. +2 son gün +3,1 son 7g 62 commit 3 yazar Python 23 Tem 2026 güncellendi dün
ai-agents automated-theorem-proving computer-algebra cordis dsh dsh-plugin erdos erdos-problem
352
2
frenzymath/Archon 229
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün +0,1 son 7g — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026
ai-agents automation claude claude-code codex dag formal-methods lean
229
3
ansumandas441/mathematical-discovery-engine 36
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
0,2/gün ort. +0 son gün +0 son 7g — commit Python 21 Nis 2026 güncellendi 24 Eyl 2026
knowledge-graph mathematics artificial-intelligence automated-reasoning discovery-engine graph-theory knowledge-base llm
36