JevalsJevals/jevals-dataJevals 数据：TypeSafe Jev 基准测试数据集
独立的基准数据，比较 TypeSafe AI 的 Jev（System One 模型）与多种 LLM 在判定任务上的决策分数、准确率、校准、成本与延迟。
100CC-BY-4.0
Jev Labs：经形式化验证的共识内核
一个研究仓库，围绕 TypeSafe 的 Jev/System One 构建经 TLA+ 验证的共识内核，通过实时 Jev API 进行了噪声测量、校准探测和 1,680 轮混沌测试。
仓库以 TypeSafe 的 Jev/System One 为核心，通过形式化验证、混沌测试和实际 API 调用深入测试共识内核，包含真实的 Jev API 调用、SDK 使用和评测数据。
· 1 Stars在 GitHub 打开
更多类似项目
JevalsJevals/jevals-data
NearCaiNearCai/JevLightJevLight：基于CityFlow的交通信号控制评测框架
基于 CityFlow 的交通信号控制框架，通过同一仿真流程评估 TypeSafe Jev 和 OpenAI 兼容 LLM 控制器，并与规则和强化学习基线对比。
000MIT
choxoschoxos/jev-reviewerJev Reviewer：系统综述数据抽取
使用 TypeSafe AI 的 Jev/System One 模型（jev-1.13.0）从研究报告与附件中逐字定位答案，支持 RoB 2、ROBINS-I、QUADAS-2 等模板；文件在浏览器本地处理，不上传服务器。
3261MIT