|
|
Agda |
104 |
Total Parser Combinators in Agda |
Apr 13, 2023 |
|
|
Coq |
37 |
Total Parser Combinators in Coq |
Apr 13, 2023 |
|
|
Agda |
6 |
Nils Anders Danielsson's Total Parser Combinators (mirror) |
Jun 22, 2021 |
|
|
TypeScript |
6 |
Parser combinators. |
Oct 13, 2021 |
|
|
C++ |
4 |
Parser Combinators in c++ (Understanding Parser Combinators c++ implemention) |
Mar 05, 2021 |
|
|
Scala |
8 |
Resumable parser combinators |
Jan 18, 2022 |
|
|
Haskell |
84 |
Generic parser combinators |
Jan 06, 2022 |
|
|
Rust |
6 |
Parser-combinators library. |
Mar 03, 2023 |
|
|
Haskell |
3 |
Fast parser combinators |
Dec 05, 2019 |
|
|
Haskell |
2 |
bytearray parser combinators |
Dec 05, 2019 |
|
|
TypeScript |
11 |
Jsx Parser By Parser Combinators. |
Dec 21, 2022 |
|
|
C# |
2 |
Experimental C parser using parser combinators |
Jul 31, 2022 |
|
|
Elm |
4 |
Parser combinators for Elm. |
Jan 16, 2019 |
|
|
Go |
2 |
Parser combinators in Go |
Mar 08, 2023 |
|
|
F# |
3 |
Parser Combinators in F#. |
Jan 28, 2023 |
|
|
Objective-C |
99 |
Objective-C Parser Combinators |
Mar 13, 2023 |
|
|
OCaml |
19 |
Parser Combinators of Monad |
Sep 12, 2022 |
|
|
Kotlin |
22 |
Parser combinators for Kotlin |
Feb 03, 2022 |
|
|
Lean |
7 |
Parser combinators for Lean |
Aug 10, 2022 |
|
|
JavaScript |
69 |
ES6 flavoured parser combinators |
Feb 07, 2023 |
|
|
JavaScript |
14 |
Parser combinators for JS |
Jan 28, 2023 |
|
|
F# |
13 |
Parser combinators in F# |
Jan 10, 2020 |
|
|
R |
2 |
Parser combinators in R |
Nov 20, 2022 |
|
|
TypeScript |
4 |
Tiny parser combinators library |
Sep 07, 2022 |
|
|
Lean |
3 |
Parser combinators for Lean |
Mar 16, 2023 |
|
|
Haskell |
15 |
Leightweight generalized parser combinators |
Sep 26, 2023 |
|
|
Python |
2 |
Parser combinators for Python. |
Sep 01, 2023 |
|
|
Rust |
7 |
Self-describing, reflective parser combinators |
May 24, 2022 |
|
|
Python |
11 |
python parser combinators (parsec) library |
Jun 10, 2022 |
|
|
Python |
2 |
Parser Combinators in Python 🐍 |
Jun 24, 2022 |
|
|
TypeScript |
159 |
String parser combinators for TypeScript |
Aug 11, 2022 |
|
|
Haskell |
41 |
Efficient parser combinators for Haskell |
Jun 11, 2022 |
|
|
Standard ML |
8 |
Parser combinators for Standard ML |
Sep 14, 2022 |
|
|
Clojure |
13 |
Parser combinators for Clojure(Script). |
Oct 15, 2022 |
|
|
PureScript |
54 |
String parser combinators for PureScript. |
Apr 30, 2023 |
|
|
Dart |
402 |
Dynamic parser combinators in Dart. |
May 11, 2023 |
|
|
Java |
153 |
Dynamic parser combinators in Java. |
May 08, 2023 |
|
|
Swift |
7 |
Parser Combinators Written In Swift |
Oct 09, 2021 |
|
|
Swift |
2 |
A collection of parser combinators |
Aug 11, 2023 |
|
|
Kotlin |
5 |
Dynamic parser combinators in Kotlin. |
Sep 18, 2023 |
|
|
C |
2 |
Parser of Combinators: For C |
Dec 19, 2023 |
|
|
Idris |
4 |
Selective functors in Idris |
Sep 25, 2020 |
|
|
Idris |
4 |
Refutation and paraconsistent calculi |
Dec 12, 2020 |
|
|
Idris |
4 |
Think Bayes in Idris |
Feb 24, 2020 |
|
|
Idris |
4 |
Removes trailing whitespace from .idr files and makes sure they end with exactly one newline. |
Dec 17, 2021 |
|
|
Idris |
4 |
None |
Dec 17, 2021 |
|
|
Idris |
4 |
Efficient, stack-safe implementation of freer monads. |
Dec 17, 2021 |
|
|
Idris |
4 |
Sparse, simple graphs in Idris2 |
Jun 26, 2022 |
|
|
Idris |
4 |
None |
Jan 04, 2020 |
|
|
Idris |
4 |
SDL2 binding for Idris |
Jan 07, 2021 |