Alternatives and similar repositories for poy5

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

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• janestreet / ppx_csv_conv
  Generate functions to read/write records in csv format
  ☆19Updated 3 weeks ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• janestreet / fieldslib
  OCaml record fields as first class values
  ☆21Updated last month
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 4 months ago
• klakplok / goji
  An OCaml bindings generator for JavaScript libraries
  ☆44Updated 10 years ago
• rgrinberg / onanomsg
  nanomsg bindings for ocaml
  ☆38Updated 4 years ago
• jasonhemann / microKanren-shen
  An implementation of microKanren in Shen
  ☆10Updated 10 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last week
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆45Updated 4 years ago
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆21Updated last week
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated 2 years ago
• uwplse / magic
  Demystifying the magic of supertactics
  ☆13Updated 3 years ago
• biocaml / phylogenetics
  Algorithms and datastructures for phylogenetics
  ☆14Updated last week
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆46Updated last year
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 7 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 5 months ago
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆35Updated last year
• c-cube / gen
  Simple, efficient iterators for OCaml
  ☆59Updated last year
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆40Updated 2 years ago
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 11 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last week
• janestreet-deprecated / ppx_driver
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆15Updated 7 years ago
• brendanlong / ocaml-ooxml
  OCaml parsers for Office Open XML and XLSX (Excel) documents
  ☆32Updated 2 years ago
• uzh / ask
  Create, Answer and Integrate Questionnaires in OCaml
  ☆13Updated 2 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago