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.781
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
11,6/gün ort. +55 son gün +173,9 son 7g 193 commit 5 yazar Rust 09 Mar 2026 güncellendi dün
ai-native description-logics knowledge-graph mcp mcp-server ontology owl owl2
2.781
2
Millillion/lasm 89
Lean for JavaScript and WebAssembly runtimes
2,2/gün ort. +1 son gün +8 son 4g — commit C 23 Eyl 2026 güncellendi bugün
bun cloudflare-workers compiler deno dependent-types edge-computing formal-verification full-stack
89
3
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
4
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
5
yonggangjiang/tcs-prover 18
Agentic TCS proof search with statement review, persistent authoring, independent criticism, and LaTeX editing.
0,2/gün ort. +0 son gün +0,1 son 7g — commit Python 24 Tem 2026 güncellendi 2 gün önce
ai-agents codex theorem-proving theoretical-computer-science
18
6
ChongCyrus/Vibe-Mathematics 43
Vibe Mathematics —— 多代理数学问题求解与形式化验证框架
0,5/gün ort. +0 son gün +0 son 7g — commit JavaScript 02 Ağu 2026 güncellendi bugün
agent-preset ai-agents deepseek-harness dsh-plugin llm math multi-agent theorem-proving
43
7
frenzymath/Archon-Horizon 37
Distributed, objective-led control plane for Lean 4 formalization projects.
0,3/gün ort. +0 son gün +0 son 7g — commit Python 01 Tem 2026 güncellendi 25 gün önce
agents ai autoformalization blueprints claude codex dashboard formalization
37
8
sjtuytc/ResearchMathAgent 37
Research Math Agents, Official code release for our paper RMA
0,2/gün ort. +0 son gün +0 son 7g — commit Python 09 Nis 2026 güncellendi 17 Eyl 2026
agentic-ai ai ai-agents ai4math ai4science generative-ai llm math
37
9
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
10
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 +0 son 7g — commit Rust 10 Nis 2026 güncellendi 30 Eyl 2026
agents ai formal-verification lean4 claude mathlib theorem-proving
25
11
humanfia/hoa 19
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where poss
0,2/gün ort. +0 son gün +0 son 7g — commit Lean 20 Tem 2026 güncellendi 15 gün önce
ai-agents formal-verification ibo icho imo ioi ipho lean
19