Alternatives and similar repositories for pomap:

Users that are interested in pomap are comparing it to the libraries listed below

• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 2 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• xavierleroy / canonical-binary-tries
  Coq development accompanying the paper "Efficient Extensional Binary Tries"
  ☆19Updated 10 months ago
• vocal-project / vocal
  ☆49Updated 3 years ago
• gmalecha / coq-printf
  Implementation of sprintf for Coq
  ☆18Updated 4 years ago
• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆22Updated 5 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last week
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated last year
• letouzey / coq-minicalc
  Toy demo of lexing/parsing in Coq
  ☆12Updated 5 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated last month
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆14Updated 3 years ago
• kiranandcode / gopcaml-mode
  [MIRROR] Ultimate Ocaml Editing Mode
  ☆22Updated 2 years ago
• charlesetc / caribou
  Caribou leverages Notty to generate simple terminal user interfaces.
  ☆17Updated last year
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated last year
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 10 years ago
• Chris00 / ocaml-rope
  Ropes ("heavyweight strings") for OCaml
  ☆49Updated 6 months ago
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆15Updated 6 years ago