TypeSafe'in Jev/System One modelini TLA+ ile doğrulanmış bir uzlaşı çekirdeğine saran araştırma deposu; gerçek Jev API üzerinden gürültü tabanı ölçümleri, kalibrasyon denetimleri ve 1.680 kaos testli eczane kararı içerir.
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
JevalsJevals/jevals-dataTypeSafe AI'nin Jev (System One modeli) ile çeşitli LLM'leri karar skoru, doğruluk, kalibrasyon, maliyet ve gecikme açısından karşılaştıran bağımsız kıyaslama verileri.
NearCaiNearCai/JevLightTypeSafe Jev ve OpenAI uyumlu LLM denetleyicilerini kural tabanlı ve pekiştirmeli öğrenme taban çizgileriyle aynı simülasyon hattında değerlendiren CityFlow tabanlı bir trafik sinyal kontrol çerçevesi.
choxoschoxos/jev-reviewerTypeSafe AI'nin Jev/System One modelini (jev-1.13.0) kullanarak klinik çalışma raporlarında ve eklerinde kelimesi kelimesine kanıt bulur; RoB 2, ROBINS-I, QUADAS-2 şablonlarını destekler. Dosyalar tarayıcıda yerel olarak işlenir.
