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 theorem-proving

1
fabio-rovai/open-ontologies 2.815
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
11,7/gün ort. +15 son gün 206 commit 1 yazar Rust 09 Mar 2026 güncellendi bugün
ai-native description-logics knowledge-graph mcp mcp-server ontology owl owl2
2.815
2
morluto/jacobian 353
Composable mathematics tools for agents
3,4/gün ort. +2 son gün 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