Alternatives and similar repositories for pomap:

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

• backtracking / ocaml-hashcons
  OCaml hash-consing library
  ☆51Updated last year
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• 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
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated last month
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• bobatkey / playtime
  An OCaml EDSL for describing and solving strategic games
  ☆17Updated last year
• andrejbauer / miniLCF
  A bare-bones LCF-style proof assistant
  ☆22Updated 5 years ago
• frex-project / metaocaml-frex
  ☆20Updated last year
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆15Updated 2 years ago
• letouzey / coq-minicalc
  Toy demo of lexing/parsing in Coq
  ☆12Updated 5 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 2 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• maximedenes / coq-amd64
  ☆22Updated 9 years ago
• uwplse / cheerios
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆23Updated last year
• janestreet / splay_tree
  A splay tree implementation.
  ☆13Updated 7 months ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last year
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 10 years ago
• NathanReb / ocaml-afl-examples
  Small examples of how to use AFL to fuzz OCaml programs
  ☆15Updated 5 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆14Updated 3 years ago
• gmalecha / coq-printf
  Implementation of sprintf for Coq
  ☆18Updated 4 years ago
• voodoos / mlts
  ☆11Updated 2 years ago
• mirage / mirage-profile
  Collect profiling information
  ☆18Updated 2 years ago
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆32Updated 5 years ago