OneRegex Revera: verified regex engine across six languages

Frank Denis released OneRegex Revera, a verified POSIX.1-2024 ERE engine specified in Vego (a Go subset) and validated in Lean 4, generating behaviorally identical regex implementations for Go, C, C++, Zig, Rust and JavaScript.

2026-09-03 ~ 2026-09-03 · 4 related posts

• Revera: Lean-verified POSIX regex engine with identical output in 6 languages — jedisct1 · 2026-09-03
• Revera now generates consistent regex engines for Go, C, C++, Zig, Rust and JS — jedisct1 · 2026-09-03
• OneRegex Revera: portable regex spec in Vego, a Go subset, for identical behavior everywhere — jedisct1 · 2026-09-03
• OneRegex Revera brings consistent POSIX.1-2024 ERE regex to any programming language — jedisct1 · 2026-09-03