Projects in Awesome Lists by MetaRocq
A curated list of projects in awesome lists by MetaRocq .
https://github.com/metarocq/metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
coq coq-formalization metaprogramming rocq
Last synced: 10 Apr 2026
https://github.com/MetaRocq/metarocq
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
coq coq-formalization metaprogramming rocq
Last synced: 31 Mar 2025
https://github.com/metarocq/rocq-verified-extraction
Verified Extraction from Rocq to OCaml/Malfunction
Last synced: 19 Jun 2025
https://github.com/metarocq/metarocq.github.io
Website of the MetaRocq Project
Last synced: 01 Mar 2026