parseque
Total Parser Combinators in Coq [maintainer=@womeier]
AI summary
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
- stars
- 42
- forks
- 5
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Binding manipulation library
A Coq library for manipulating binding structures in syntax with binders.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Number library
A Coq library providing support for arbitrarily large numbers
Parser combinator library
A monadic parser combinator library for C#
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Graph formalizer
Formalized graph theory results for research and verification
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
