dmbaturin / bnfgen
Generates random text based on context-free grammars defined in BNF
☆39Updated 2 months ago
Alternatives and similar repositories for bnfgen
Users that are interested in bnfgen are comparing it to the libraries listed below
Sorting:
- Tools for record-and-replay debugging☆43Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated 2 months ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 9 months ago
- Core functions comparison☆8Updated 4 years ago
- S-expression swiss knife☆44Updated this week
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 3 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- How do you do that recursive GADT thing again?☆27Updated last year
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆42Updated 6 years ago
- Type-level rational puzzles in OCaml☆24Updated 8 years ago
- Type and doc on hover for OCaml and Reason in emacs☆44Updated 2 years ago
- OCaml with typed algebraic effects☆50Updated 6 years ago
- Effectful OCaml with Objects and Variants☆29Updated 2 years ago
- Signature documentation tool for Standard ML☆14Updated last year
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated 2 years ago
- Reasonable Go.☆10Updated 6 years ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 9 months ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- multi-shot continuations in OCaml☆48Updated 3 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆50Updated last year
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux…☆36Updated 3 months ago
- A basic snake game with js_of_ocaml.☆12Updated 7 years ago
- heterogenous Map over a GADT☆42Updated 4 months ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- My notes about the Notty library https://github.com/pqwy/notty☆45Updated 4 years ago