Alternatives and similar repositories for safe-pattern-generation:

Users that are interested in safe-pattern-generation are comparing it to the libraries listed below

• keigoi / hlist-ocaml
  Heterogeneously-typed lists for OCaml
  ☆12Updated 2 years ago
• strymonas / strymonas-ocaml
  ☆28Updated 9 months ago
• craigfe / generalised-signatures
  ☆12Updated 3 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 3 months ago
• yallop / metaocaml-letrec
  flexible 'let rec' generation for MetaOCaml
  ☆26Updated last year
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆19Updated 9 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆24Updated 2 weeks ago
• CoqHott / exceptional-tt
  A Coq plugin that implements exceptions in Coq
  ☆13Updated 4 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆47Updated 3 weeks ago
• smimram / snippetor
  Extract snippets from code specified by comments.
  ☆10Updated 3 months ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆21Updated 2 years ago
• Armael / lam
  ☆15Updated 8 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• Armael / pixels
  a shared pixel display controllable via TCP
  ☆12Updated last year
• fabbing / obts_exn
  OCaml behind the scenes: exceptions
  ☆30Updated last year
• backtracking / ocaml-bazaar
  ☆14Updated last month
• RedPRL / ocaml-bwd
  🔙 Backward lists for OCaml
  ☆22Updated 4 months ago
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated 10 months ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆38Updated last month
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆32Updated last month
• Octachron / format-doc
  Alternative interpreter for OCaml format strings
  ☆15Updated last year
• polytypic / io
  IO should be just a library
  ☆23Updated last year
• volodeyka / trust-coq
  Formalization of the Truly Stateless Concurrency Model Checker in Coq
  ☆13Updated 3 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆30Updated 2 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 2 weeks ago
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆38Updated last week
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 years ago
• jkoppel / thermometer-continuations
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆21Updated 4 months ago