jev-dsl
inanna-malick
一个早期 Haskell DSL,用表达式描述带标签的 Jev 问题,生成请求并解析对应答案。
- 许可证
- MIT
- GitHub Stars
- 6
- 源码核查日期
- 2026-09-19
Jev 在哪一步做判断
用类型推导与标签处理器把 Choice 答案接到事先定义的程序分支。
这个项目的用途
将问题、返回类型与分支代码放在同一套可检查定义中。
核查范围
README 标明 early alpha 且接口仍在变化;类型保证不等于判断事实正确,库本身不负责联网。
源码与说明
同类项目
jev
dannote · SDK 与决策框架
把 Jev 接成 Elixir/OTP 异步进程,在 GenServer 中用模式匹配处理返回结果。
zod-jev
jomatsu · SDK 与决策框架
为 Zod 校验增加语义规则,例如描述是否匹配或文本是否包含个人信息。
daf-jev
docxology · SDK 与决策框架
把 Jev 常用零件装成一个 Python 工具箱:提问、批量跑样本、看校准情况,再把结果接到程序或 MCP。
jev-starter
hamakyo · SDK 与决策框架
在 TypeSafe SDK 上补充决策阈值、备用路径、人工复核和评测模式的 TypeScript 工具集。