Een onderzoeksrepository die TypeSafe's Jev/System One omhult in een TLA+-geverifieerde consensuskern, met metingen van de ruisvloer, kalibratiesondes en 1.680 chaos-geteste apotheekbeslissingen via de live Jev-API.
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
JevalsJevals/jevals-dataOnafhankelijke benchmarkgegevens die Jev (System One-model) van TypeSafe AI vergelijken met verschillende LLM's op beslissingsscore, nauwkeurigheid, kalibratie, kosten en latentie.
NearCaiNearCai/JevLightEen op CityFlow gebaseerd raamwerk voor verkeerslichtregeling dat TypeSafe Jev- en OpenAI-compatibele LLM-controllers evalueert naast op regels en versterkend leren gebaseerde baselines via dezelfde simulatiepijplijn.
choxoschoxos/jev-reviewerGebruikt TypeSafe AI's Jev/System One-model (jev-1.13.0) om letterlijk bewijs te vinden in onderzoeksrapporten en bijlagen, met ondersteuning voor RoB 2, ROBINS-I en QUADAS-2-sjablonen; bestanden worden lokaal in de browser verwerkt.
