开源项目详情
jev-labs
Never confidently wrong: a TLA+-verified consensus kernel around TypeSafe's Jev, run through 1,680 chaos-tested pharmacy decisions with zero wrong verdicts. Film, code, and every captured call.
- Stars
- 1
- Forks
- 0
- 协议
- —
- 最近提交
- 2026-09-19
Jev 在这里做什么
当前为基础收录，尚未整理经过核对的 Jev 决策点。