Alternatives and similar repositories for poy5:

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

• janestreet / ppx_csv_conv
  Generate functions to read/write records in csv format
  ☆19Updated 4 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 2 months ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• klakplok / goji
  An OCaml bindings generator for JavaScript libraries
  ☆44Updated 10 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• uzh / ask
  Create, Answer and Integrate Questionnaires in OCaml
  ☆13Updated 2 years ago
• amnh / ocamion
  Numerical and Combinatorial Optimization Library
  ☆19Updated 11 years ago
• janestreet / ppx_js_style
  Code style checker for Jane Street Packages
  ☆19Updated 4 months ago
• janestreet / fieldslib
  OCaml record fields as first class values
  ☆21Updated 7 months ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 6 months ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 7 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• yallop / ocaml-ctypes-inverted-stubs-example
  Example showing how to turn OCaml code (here Xmlm) into a C library.
  ☆43Updated 4 years ago
• samoht / dyntype
  Dynamic types for OCaml
  ☆25Updated 9 years ago
• jserot / fsml
  An OCaml library for describing and simulating synchronous finite state machines")
  ☆33Updated 4 years ago
• akabe / ppx_bigarray
  A PPX extension for big array literals in OCaml
  ☆20Updated 6 years ago
• OCamlPro / typerex-lint
  Tools to manipulate source files (linting, patching, etc.)
  ☆21Updated 6 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• QuentinDuval / IdrisReducers
  Transducers for Idris: a library for composable algorithmic transformation.
  ☆32Updated 7 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 5 years ago
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago