Base library for a lexer that can be used in Top-Down, Recursive Descent Parsers.
Repository Index
60,121 visible repositories in the index
1–7 of 7 · Most stars
tiny recursive descent expression parser, compiler, and evaluation engine for math expressions
- c
- calculator
- expression-evaluator
- math
Generalized recursion schemes and traversals for Scala.
- recursion-schemes
- algebra
- traversal
- recursive-structures
a C# embeddable lexer and parser generator (.Net core)
- dot-net
- csharp
- parser
- lexer-generator
A Library for Representing Recursive and Impure Programs in Coq
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures