Top 5.5% on proxy.golang.org
proxy.golang.org : github.com/rocq-community/parseque
Total Parser Combinators in Coq [maintainer=@womeier]
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/rocq-community/parseque
Keywords:
coq
, parser-combinators
License: MIT
Latest release: 6 months ago
First release: 6 months ago
Stars: 43 on GitHub
Forks: 6 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 25 days ago