Дослідницький репозиторій, який обгортає Jev/System One від TypeSafe у перевірене TLA+ ядро консенсусу, з вимірюваннями шумового порогу, калібрувальними зондами та 1680 хаос-тестами фармацевтичних рішень через реальний Jev API.
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
JevalsJevals/jevals-dataНезалежні бенчмарк-дані, що порівнюють Jev (модель System One) від TypeSafe AI з різними LLM за показниками рішення, точності, калібрування, вартості та затримки.
NearCaiNearCai/JevLightФреймворк керування світлофорами на основі CityFlow, який оцінює контролери TypeSafe Jev та LLM-сумісні з OpenAI разом із базовими моделями на основі правил і навчання з підкріпленням через той самий конвеєр моделювання.
choxoschoxos/jev-reviewerВикористовує модель Jev/System One від TypeSafe AI (jev-1.13.0) для пошуку дослівних доказів у звітах про випробування та додатках, підтримуючи шаблони RoB 2, ROBINS-I, QUADAS-2; файли обробляються локально в браузері.
