OneRegex 推出 Revera：跨六语言一致的正则引擎

开发者 jedisct1（Frank Denis）推出 OneRegex Revera 项目：POSIX.1-2024 扩展正则表达式的净室实现，他指出此类实现出奇地少。引擎只写一份，在 Lean 4 中对照形式模型验证后，生成 Go、C、C++、Zig、Rust 和 JavaScript 六种语言行为完全一致的实现；其机器可读规范用 Go 的子集 Vego 编写，解决各语言正则结果不一致的问题。

2026-09-03 ~ 2026-09-03 · 4 条相关

• Revera 开源:用 Lean 验证、六语言输出一致的 POSIX 正则引擎 — jedisct1 · 2026-09-03
• Revera 可生成跨 6 种语言、结果一致的 regex 引擎 — jedisct1 · 2026-09-03
• OneRegex Revera:用 Go 子集 Vego 让正则在所有语言中结果一致 — jedisct1 · 2026-09-03
• POSIX.1-2024 扩展正则实现稀少,OneRegex 推出跨语言统一正则方案 — jedisct1 · 2026-09-03