mmottl / cfgLinks
OCaml library for manipulating context-free grammars
☆20Updated 3 weeks ago
Alternatives and similar repositories for cfg
Users that are interested in cfg are comparing it to the libraries listed below
Sorting:
- Datatype-generic object-oriented transformations for OCaml☆16Updated 3 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Parsing library based on Earley Algorithm☆18Updated 3 months ago
- Small tensor library a la GLSL☆17Updated 2 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Efficient Bloom filters for OCaml☆38Updated 3 years ago
- Algebraic structures in OCaml.☆25Updated 6 months ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Software construction and deployment kit☆34Updated last month
- A random generator of Lua programs☆11Updated 3 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- The Ensemble distributed communications toolkit☆12Updated 5 years ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 4 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- A simple parser combinator library for Ocaml☆30Updated 4 years ago
- L-system interpreter in OCaml☆22Updated 9 years ago
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- Identifying similar OCaml codes☆29Updated last year
- Stub code generator for OCaml/C interface☆33Updated last month
- OCaml bit vector library☆34Updated 3 weeks ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated last year
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- A simple BDD library for OCaml☆13Updated 4 months ago
- Ropes ("heavyweight strings") for OCaml☆48Updated last year
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Just In Time compiler for OCaml native toplevel☆58Updated last year
- Self-adjusting computations☆22Updated last year