Alternatives and similar repositories for lascar

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

• jmid / qcstm
  A simple state-machine framework for OCaml based on QCheck
  ☆66Updated 3 years ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• pqwy / psq
  Functional Priority Search Queues for OCaml
  ☆53Updated last year
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆50Updated 6 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆36Updated 4 years ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆49Updated 2 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆39Updated last year
• craigfe / ocaml-stdlib-type-conversions
  Graphs of the various type conversions provided by the OCaml standard library.
  ☆34Updated 4 years ago
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• backtracking / bitv
  OCaml bit vector library
  ☆34Updated last month
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆33Updated 3 years ago
• let-def / grenier
  Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
  ☆68Updated last year
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated 2 weeks ago
• dbuenzli / pvec
  Persistent vectors for OCaml
  ☆41Updated 7 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• mirage / metrics
  Infrastructure to collect metrics from OCaml applications.
  ☆45Updated last month
• vocal-project / vocal
  ☆49Updated 4 years ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆38Updated 3 years ago
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated last year
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated 2 years ago
• hcarty / mwt
  Medium weight threads - preemptive thread pools for Lwt
  ☆31Updated 4 years ago
• Drup / bytepdf
  A tool to create PDFs that are also OCaml bytecodes
  ☆41Updated last year
• martinslota / protocell
  Conjures up convenient OCaml types and serialization functions based on protobuf definition files
  ☆19Updated 4 years ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 3 years ago
• avsm / ocaml-print-intf
  Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
  ☆41Updated 3 years ago
• mirage / bechamel
  Agnostic benchmark in OCaml (proof-of-concept)
  ☆43Updated last year
• backtracking / functory
  a distributed computing library for OCaml
  ☆24Updated last year
• dbuenzli / mtime
  Monotonic wall-clock time for OCaml
  ☆34Updated 10 months ago
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆51Updated 11 months ago