gallais / Agdarsec
Licence: gpl-3.0
Total Parser Combinators in Agda
Stars: ✭ 75
Labels
Projects that are alternatives of or similar to Agdarsec
Mini Haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Stars: ✭ 37 (-50.67%)
Mutual labels: parser-combinators
Footlessparser
A simple parser combinator written in Swift
Stars: ✭ 60 (-20%)
Mutual labels: parser-combinators
Chthollylang
A simple implementation of Yet another script language Chtholly
Stars: ✭ 19 (-74.67%)
Mutual labels: parser-combinators
Comby
A tool for structural code search and replace that supports ~every language.
Stars: ✭ 912 (+1116%)
Mutual labels: parser-combinators
Lug
Parsing expression grammar (PEG) embedded domain specific language and parsing machine for C++17
Stars: ✭ 44 (-41.33%)
Mutual labels: parser-combinators
Scala Parser Combinators
simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
Stars: ✭ 523 (+597.33%)
Mutual labels: parser-combinators
Combine Language
A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
Stars: ✭ 71 (-5.33%)
Mutual labels: parser-combinators
Parsley
An exceptionally fast parser combinator library for Scala
Stars: ✭ 31 (-58.67%)
Mutual labels: parser-combinators
Funcj
Assorted functional-oriented data structures and algorithms for Java.
Stars: ✭ 60 (-20%)
Mutual labels: parser-combinators
Parsel
Create complex parsers by combining simple ones with Parsel!
Stars: ✭ 21 (-72%)
Mutual labels: parser-combinators
Pyparsing
Python library for creating PEG parsers
Stars: ✭ 1,052 (+1302.67%)
Mutual labels: parser-combinators
Combo
A simple parser combinator library for Ocaml
Stars: ✭ 19 (-74.67%)
Mutual labels: parser-combinators
Parser Combinators From Scratch
Code that accompanies the series
Stars: ✭ 56 (-25.33%)
Mutual labels: parser-combinators
Parsing With Haskell Parser Combinators
🔍 A step-by-step guide to parsing using Haskell parser combinators.
Stars: ✭ 72 (-4%)
Mutual labels: parser-combinators
Feel Scala
FEEL parser and interpreter written in Scala
Stars: ✭ 52 (-30.67%)
Mutual labels: parser-combinators
agdarsec - Total Parser Combinators in Agda
The motivation and design decisions behind agdarsec are detailed in:
- this paper for the core design
- this blog post for the instrumentation
Compilation
To typecheck and compile this project you will need:
- Agda version 2.6.1.1
- Agda's standard library (dev version)
Ports
I have ported this library to other dependently-typed languages:
- parseque is the port to Coq
- and idris-tparsec the one for Idris
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].