Alternatives and similar repositories for okasaki-book-ocaml

Users that are interested in okasaki-book-ocaml are comparing it to the libraries listed below

• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 5 months ago
• LesleyLai / ocamlpt
  Path tracer live coded in stream
  ☆19Updated 4 years ago
• janestreet / bigdecimal
  Arbitrary-precision decimal based on Zarith
  ☆19Updated last month
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 2 months ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• EduardoRFS / ocaml-jit-example
  unloading modules with ocaml native
  ☆16Updated 4 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆14Updated 3 years ago
• thangngoc89 / ocaml-slug
  Url safe slug generator for OCaml
  ☆16Updated 4 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 9 months 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 4 years ago
• steinuil / xobl
  [WIP] Pure OCaml bindings to the X11 protocol
  ☆24Updated 5 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 6 months ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• jserot / fsml
  An OCaml library for describing and simulating synchronous finite state machines")
  ☆33Updated 4 years ago
• darrenldl / distrproc
  Erlang style process/actor model library in OCaml
  ☆16Updated 2 years ago
• patricoferris / irmin-socket
  Some fun with creating little collaborative browser things...
  ☆11Updated 4 years ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆38Updated 4 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 4 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆33Updated 3 weeks ago
• anuragsoni / kqueue-ml
  OCaml bindings to kqueue
  ☆21Updated last year
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• anmonteiro / gluten
  Reusable runtime library for network protocols
  ☆46Updated 10 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 6 months ago
• janestreet / sexplib0
  Library containing the definition of S-expressions and some base converters
  ☆18Updated last month
• dbuenzli / htmlit
  HTML generation combinators for OCaml
  ☆17Updated 7 months ago
• TheLortex / ocaml-maelstrom
  Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
  ☆14Updated 2 years ago