pikevm

Here are 3 public repositories matching this topic...

Pure Go production-grade regex engine with SIMD optimizations. Up to 3-3000x+ faster than stdlib.

go golang performance regex regexp simd avx2 nfa dfa ssse3 regex-engine multi-engine pikevm

Formal Verification for JavaScript Regular Expressions

javascript regex linear rocq pikevm

Verification of realistic regex matching in Rocq prover

master-thesis regex formal-verification meta-engine rocq-prover pikevm

To associate your repository with the pikevm topic, visit your repo's landing page and select "manage topics."