榜单与资源

typesafe-jev-model-use-cases

@Ashadeepa1Python更新于 2026-09-19

TypeSafe 的 System One 模型(Jev)可运行演示,包括并行 Noul 判断和基于选择的引用/声明检查器。

英文原文

Runnable demos of TypeSafe's System One model (Jev) — parallel Noul judgments and a Choice-based citation/claim checker

Ashadeepa/typesafe-jev-model-use-cases

它在哪儿调用了 Jev

from typesafe_sdk import Choice, TypeSafeClient

citation_check.py:16

链接指向我们抓取当天的那个 commit,行号是准的。

这个项目没法在这儿跑

它的 question 组合是运行时拼出来的,或者代码里没有直接写出来,所以没法原样搬过来。源码链接在上面,可以自己去看。

同类的其他项目