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

Add a description, image, and links to the pikevm topic page so that developers can more easily learn about it.

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