#

pikevm

Here are 2 public repositories matching this topic...

LindenRegex / Linden

Formal Verification for JavaScript Regular Expressions

javascript regex linear rocq pikevm

Updated Jan 21, 2026
Rocq Prover

shilangyu / pikevm-systemf

Verification of realistic regex matching in Rocq prover

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

Updated Jan 28, 2026
Typst

Improve this page

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

Curate this topic

Add this topic to your repo

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