Исследовательский репозиторий, оборачивающий Jev/System One от TypeSafe в проверенное на TLA+ ядро консенсуса, с измерением шумового порога, калибровкой и 1 680 хаос-тестами фармацевтических решений через реальный 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; файлы обрабатываются локально в браузере.
