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 formal-methods

1
AxiomCodeAI/axiomcodegraph 450
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure corr
6,2/gün ort. +14 son gün +18,3 son 7g 418 commit 4 yazar TypeScript 22 Ağu 2026 güncellendi bugün
ai-agents ai-skills antigravity ast change-impact-analysis claude-code code-analysis code-search
450
2
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
3
aretta-ai/aristo 65
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they
0,4/gün ort. +0 son gün +0,3 son 7g — commit Rust 15 May 2026 güncellendi 4 gün önce
cli code-verification coding-agents formal-methods mit-license rust verification design-by-contract
65
4
ymm-oss/fsl 36
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
0,3/gün ort. +1 son gün +0,3 son 7g — commit Rust 15 Haz 2026 güncellendi bugün
bounded-model-checking formal-methods formal-specification llm model-checking python refinement verification
36
5
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
6
cognitive-fab/polygraph 15
A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhausti
0,1/gün ort. +0 son gün +0,1 son 7g — commit JavaScript 07 Tem 2026 güncellendi 13 Eyl 2026
claude-code claude-code-plugin formal-methods invariants javascript llm model-checking state-machine
15
7
hyhmrright/logic-lens 25
Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, ty
0,1/gün ort. +0 son gün +0 son 7g — commit Python 21 Nis 2026 güncellendi 4 gün önce
gemini-cli-extension ai-code-review bug-detection claude-code-plugin code-quality code-review codex-cli-plugin debugging
25
8
mizchi/uneffect 15
Gradual effect, contract, async-safety, and temporal checking for existing TypeScript.
0,2/gün ort. +0 son gün +0 son 7g — commit TypeScript 21 Ağu 2026 güncellendi 03 Eki 2026
effect-system formal-methods static-analysis typescript
15