lightyear
Parser library
A parser combinator library for Idris that allows backtracking by default and provides various combinators for building parsers.
Parser combinators for Idris
239 stars
14 watching
43 forks
Language: Idris
last commit: over 5 years ago
Linked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hejsil/mecha | A parser combinator library for the Zig programming language | 472 |
 davedufresne/swiftparsec | A Swift library for creating parsers from simple components using combinator logic | 227 |
 zaid-ajaj/fable.parsimmon | A F# wrapper around the Parsimmon parser combinator library | 21 |
 benjamin-hodgson/pidgin | A lightweight and fast parsing library for C#. | 919 |
 marwes/combine | A Rust library implementing parser combinators for building efficient and flexible parsers | 1,302 |
 keean/parser-combinators | A C++ library for building efficient and maintainable parsers with flexible composition and runtime polymorphism. | 97 |
 epfl-lara/scallion | A library for parsing and pretty-printing LL(1) languages in Scala. | 56 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 847 |
 norswap/autumn | A Java parser combinator library supporting grammar and parsing functionality. | 125 |
 com-lihaoyi/fastparse | A Scala-based library for writing fast parsers using parser combinators. | 1,094 |
 teo-tsirpanis/farkle | A parser library for F# and C# | 93 |
 scala/scala-parser-combinators | A library for building parsers in Scala using combinator-based parsing | 656 |
 takahisa/parseq | A monadic parser combinator library for C# | 61 |
 jxxcarlson/l1 | A language demo project showcasing fault-tolerant parsing techniques for a simple language with a Lisp-like syntax. | 0 |
 plioi/parsley | A parsing library inspired by Haskell's Parsec and F#'s FParsec. | 61 |