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.
4
repo · sayfa 1 / 1
Sırala
Süz
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…
- 1
Automated Proof-of-Carrying Change Management for AIOps 2026
0,9/gün ort. +0 son gün 139 commit 2 yazar HTML 28 Haz 2026 güncellendi bugün - 2
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 — commit Rust 15 May 2026 güncellendi 6 gün önce - 3
Verifiable AI coding agent harness / 可验证的 AI 编码代理：evidence hash-chain · hollow-answer gate · manual verification checklist · 6 engines + MCP
0,4/gün ort. +0 son gün — commit Python 03 Haz 2026 güncellendi dün - 4
From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs.
0,3/gün ort. +0 son gün — commit Go 08 May 2026 güncellendi 06 Tem 2026