Repozytorium badawcze opakowujące Jev/System One firmy TypeSafe w zweryfikowane w TLA+ jądro konsensusu, z pomiarami progu szumu, sondami kalibracyjnymi i 1680 testami chaotycznymi decyzji aptecznych przez prawdziwe API Jev.
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
JevalsJevals/jevals-dataNiezależne dane benchmarkowe porównujące Jev (model System One) od TypeSafe AI z różnymi LLM pod względem wyniku decyzji, dokładności, kalibracji, kosztu i opóźnienia.
NearCaiNearCai/JevLightOparty na CityFlow framework sterowania sygnalizacją świetlną, który ocenia kontrolery LLM zgodne z TypeSafe Jev i OpenAI wraz z liniami bazowymi opartymi na regułach i uczeniu przez wzmacnianie w tym samym potoku symulacji.
choxoschoxos/jev-reviewerWykorzystuje model Jev/System One firmy TypeSafe AI (jev-1.13.0) do lokalizowania dosłownych dowodów w raportach z badań i suplementach, obsługując szablony RoB 2, ROBINS-I i QUADAS-2; pliki są przetwarzane lokalnie w przeglądarce.
