dmbaturin / bnfgen

Related projects ⓘ

Alternatives and complementary repositories for bnfgen

• Fourchaux / ocaml-stdlib-containers-batteries-base-comparisons
  Core functions comparison
  ☆8Updated 3 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 6 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆21Updated this week
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated this week
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago
• dmbaturin / otoml
  TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)
  ☆50Updated 6 months ago
• charlesetc / caribou
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• dinosaure / sirodepac
  Pack file encoder/decoder in OCaml
  ☆11Updated 7 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 years ago
• ianthehenry / ocamlsyntax.com
  How do you do that recursive GADT thing again?
  ☆27Updated 7 months ago
• ocaml-multicore / par_incr
  Parallel version of incremental library
  ☆19Updated last year
• ygrek / ocaml-gdb
  OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler
  ☆16Updated 9 years ago
• sim642 / odep
  Dependency graphs for OCaml modules, libraries and packages
  ☆34Updated 3 months ago
• Lelio-Brun / Obelisk
  A simple multi-format pretty-printer for Menhir.
  ☆55Updated 3 months ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated last year
• thizanne / snake
  A basic snake game with js_of_ocaml.
  ☆12Updated 7 years ago
• snowleopard / selective-ocaml
  Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
  ☆40Updated 5 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆45Updated 2 weeks ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆35Updated 4 months ago
• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated last year
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated last year
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 10 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago
• dbuenzli / pvec
  Persistent vectors for OCaml
  ☆40Updated 6 years ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• jmid / qc-ptrees
  A model-based QuickCheck test of ptrees (Patricia trees)
  ☆12Updated 5 years ago