TypeSafe Jev · System One
基于 Jev 做出来的一切。
264 个仓库里的 333 条，按你真会装哪个来排。每周检查，每天刷新。
264个仓库已收录
333条目
16分区
41.1k星标
更新于 2026-09-20 · 链接每周检查
热度
星标最多 →jev-ultrafast★ 10,270浏览器与计算机操作eve★ 5,278官方 SDK 与框架支持fast-jev-compaction★ 4,570编程智能体SemIf★ 2,146开源模型与复刻pi-mcp-adapter★ 1,499编程智能体jev-trader★ 1,408金融与交易
官方 SDK 与框架支持8typesafe-sdk-js · typesafe-sdk-python · system-one-adapter-python编程智能体49fast-jev-compaction · jev-router · winnow浏览器与计算机操作12jev-ultrafast · typesafe-computer-use · mobile-jev开源模型与复刻29SemIf · jevlike · NanoJev代码审查与质量14jev-review by devagrawal09 · jev-review by NiazMorshed2007 · foreman路由与网关7tiershift · jev-router by prismhq · agent-router搜索、重排与 RAG9jev-search · blink · reranker数据与运维17pg-jev · vgi-typesafe · jevsql安全、内容审核与校验11jev-shield · jev-guard · Jev-Moderation-Bot应用与扩展21unclutter · typesafe-adblock · vibecheck游戏、机器人与仿真15typesafe-mario · jev-drone · tsai-sc金融与交易4jev-trader · trade-jev · Jev-Trades基准、评测与校准22jev-benchmarks · jevcal · jev-harness演练场与演示20typesafe-playground by TypeSafeAI · typesafe-playground by kavehmz · jev-experiments命令行9jev-axi · semdecide · every社区客户端29jev-go · typesafe-go · typesafe-ai
本周新增
typesafe-sdk-phpswift-typesafetypesafe-sdk-go by Tangergtypesafeai-dotnet-sdkzod-jevruby_decision_modeltypesafe_sdk by nshkrdotcomtypesafe-ai-railsjev-go by Stumblekunobi-jevtypesafe-rss1-rs
实际效果
jev-ultrafast一次请求同时从索引化的 DOM 表中选出操作和目标元素；小模型只负责写带类型的文本。苏黎世到伦敦的订票用时 7.1 秒。
jevmeter给任意视频加上实时仪表：每句话按五个问题打分，渲染成 16:9 的成片，一整场辩论约两美分。
jev-droneMuJoCo 中仅用摄像头的无人机，Jev 以 2.5 Hz 在回路中。
jev-review by devagrawal09分阶段的代码评审工作流，带本地看板。
kevQwen2.5-0.5B 上的 LoRA 适配器与读出头，一次 prefill 回答多个带类型问题；在 MacBook 上两小时内训完，留出集 ECE 0.065，说 TypeSafe 的传输格式。
heist-one潜行游戏，Jev 负责守卫的判断，确定性代码掌控世界。学习 Jev
从这里开始 24
- Introduction 两页讲清心智模型：输入状态加带类型的问题，输出带概率的带类型答案。
- Quick start 用 Python、TypeScript 或 curl 发出第一个请求。
- Primitives Choice、Score 和 Noul，以及各自的适用场景。
- State 如何打包交给 Jev 评判的内容，以及为什么越少越好。
- API reference 请求与响应的约定。
- Models 别名、当前版本、价格与速率限制。
文章与演讲 33
- Introducing System One Models and Jev 发布文章：架构、RLCD、基准测试、定价和 FAQ。
- Launch thread by Diogo Almeida 创始人的论证：经 RLCD 训练的决策模型比聊天更快通向价值。
- Hacker News launch thread 对这些基准测试持怀疑态度的解读都在这里。
- The Register 发布报道、Doom 演示，以及 4000 万美元种子轮。
- Latent Space 发布当日的汇总。
- TypeSafe AI emerges from stealth with $40M 融资公告。