Havuz
Takip ettiğimiz konularda yükselen açık kaynak projeler — yıldız ivmesi, gerçek geliştirme aktivitesi ve AI değerlendirmesiyle.
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
Etiketler yükleniyor…
- 1
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
1/gün ort. +0 son gün — commit Python 22 Mar 2026 güncellendi 17 Ağu 2026 - 2
Cercetarea open-source realizată de 2 elevi de la CNCNI
0,3/gün ort. +0 son gün — commit Python 13 Eyl 2026 güncellendi 3 gün önce - 3
This is a mathematical discovery engine, which searches new mathematics applying techniques to existing results
0,2/gün ort. +0 son gün — commit Python 21 Nis 2026 güncellendi 24 Eyl 2026 - 4
MathX: A production-ready scientific calculator and unit converter for Android with 160+ live currencies and 8 unit categories.
0,2/gün ort. +0 son gün — commit Kotlin 05 May 2026 güncellendi 21 Ağu 2026 - 5
USEL is an open-source CPU-based scientific computing framework for computational physics and quantum research. It provides modular numerica
0,1/gün ort. +0 son gün — commit Python 22 Tem 2026 güncellendi 10 gün önce