GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → gallais → Parseque

gallais / Parseque

Licence: gpl-3.0
Total Parser Combinators in Coq

Labels

coqparser-combinators

Projects that are alternatives of or similar to Parseque

Software Foundations
Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.
Stars: ✭ 9 (-75.68%)
Mutual labels:  coq
Vvclocks
Verified vector clocks, with Coq!
Stars: ✭ 14 (-62.16%)
Mutual labels:  coq
Parsley
An exceptionally fast parser combinator library for Scala
Stars: ✭ 31 (-16.22%)
Mutual labels:  parser-combinators
Coqjvm
Coq executable semantics and resource verifier
Stars: ✭ 10 (-72.97%)
Mutual labels:  coq
Jt89
sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility
Stars: ✭ 14 (-62.16%)
Mutual labels:  coq
Parsel
Create complex parsers by combining simple ones with Parsel!
Stars: ✭ 21 (-43.24%)
Mutual labels:  parser-combinators
Hott Species
Combinatorial species in HoTT
Stars: ✭ 9 (-75.68%)
Mutual labels:  coq
Compcert
The CompCert formally-verified C compiler
Stars: ✭ 984 (+2559.46%)
Mutual labels:  coq
Hello World
A Hello World program in Coq.
Stars: ✭ 14 (-62.16%)
Mutual labels:  coq
Profunctor Monad
Bidirectional programming in Haskell with monadic profunctors
Stars: ✭ 30 (-18.92%)
Mutual labels:  coq
Stalin Sort
Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️
Stars: ✭ 868 (+2245.95%)
Mutual labels:  coq
Ledgertheory
Stars: ✭ 12 (-67.57%)
Mutual labels:  coq
Comby
A tool for structural code search and replace that supports ~every language.
Stars: ✭ 912 (+2364.86%)
Mutual labels:  parser-combinators
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-72.97%)
Mutual labels:  coq
Nuprlincoq
Implementation of Nuprl's type theory in Coq
Stars: ✭ 31 (-16.22%)
Mutual labels:  coq
Monads
Coq code accompanying several articles on semantics of functional programming languages
Stars: ✭ 9 (-75.68%)
Mutual labels:  coq
Coq Printf
Implementation of sprintf for Coq
Stars: ✭ 15 (-59.46%)
Mutual labels:  coq
Mini Haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Stars: ✭ 37 (+0%)
Mutual labels:  parser-combinators
Paramcoq
Coq plugin for parametricity [[email protected]]
Stars: ✭ 32 (-13.51%)
Mutual labels:  coq
Hott
Homotopy type theory
Stars: ✭ 946 (+2456.76%)
Mutual labels:  coq
View All Similar Projects ➔

parseque - Total Parser Combinators in Coq

This is a port of agdarsec to Coq.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].