» Etiket
open-source
5 yayınProvensql: İki SQL Sorgusunun Eşdeğerliğini Matematiksel Olarak Kanıtlıyor
Provensql, SQL sorgularının eşdeğerliğini SMT tabanlı kanıtlarla doğrulayan açık kaynak araç; LLM yargıçlardan farklı olarak asla yanlış pozitif vermez.
yapyak – React için bir i18n derleyici
yapyak, React için otomatik çeviri ve i18n desteği sunan bir Vite eklentisidir.
Açık Kaynak Uygulamaların Mimarisi
Açık kaynak yazılımların mimarisi mühendisler için önemli dersler sunuyor.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comRed-team LLM Araçları ile Simüle Edilmiş Aksiyonlar
CoT Red Team Agent, LLM ve ajan davranışlarını değerlendirir. Açık kaynaklı CLI ve Python API ile güvenlik testleri yapın.
Raggio: TurboQuant Tabanlı Açık Kaynak Hibrid Vektör Veritabanı
Raggio, TurboQuant tabanlı açık kaynak bir hibrid vektör veritabanıdır. Küçük donanımlarda yüksek performans sunar.