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
240 stars
14 watching
43 forks
Language: Idris
last commit: over 7 years agoLinked from 1 awesome list
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 hejsil/mecha | A parser combinator library for the Zig programming language | 493 |
 davedufresne/swiftparsec | A Swift library for creating parsers from simple components using combinator logic | 226 |
 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#. | 931 |
 marwes/combine | A Rust library implementing parser combinators for building efficient and flexible parsers | 1,307 |
 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 writing parsers and pretty printers for LL(1) languages in Scala using a novel parsing algorithm. | 57 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 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,098 |
 teo-tsirpanis/farkle | A parser library for F# and C# | 95 |
 scala/scala-parser-combinators | A parser combinator library for Scala | 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 |