Alternatives and similar repositories for focs-notebooks

Users that are interested in focs-notebooks are comparing it to the libraries listed below

• ruhatch / mirage-btrees

  View on GitHub
  ☆12Apr 22, 2016Updated 9 years ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• mirage / ocaml-lazy-trie

  View on GitHub
  Lazy prefix trees in OCaml
  ☆22Jan 22, 2020Updated 6 years ago
• backtracking / vector

  View on GitHub
  ☆16May 26, 2021Updated 4 years ago
• craigfe / causal-rpc

  View on GitHub
  A traceable distributed computation framework
  ☆23Oct 8, 2019Updated 6 years ago
• cfcs / ocaml-socks

  View on GitHub
  SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
  ☆20Jul 9, 2023Updated 2 years ago
• shonfeder / um-abt

  View on GitHub
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Nov 11, 2023Updated 2 years ago
• mirage / bechamel

  View on GitHub
  Agnostic benchmark in OCaml (proof-of-concept)
  ☆43Jun 28, 2024Updated last year
• mirage / metrics

  View on GitHub
  Infrastructure to collect metrics from OCaml applications.
  ☆46Jun 16, 2025Updated 7 months ago
• Chris00 / ocaml-bwrap

  View on GitHub
  Use Bubblewrap to sandbox executables
  ☆12Feb 22, 2021Updated 4 years ago
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆18Feb 25, 2019Updated 6 years ago
• selectel / alberto

  View on GitHub
  A simple OCaml library for writing Erlang port drivers
  ☆42Apr 12, 2020Updated 5 years ago
• gildor478 / ocaml-gettext

  View on GitHub
  ☆13Aug 4, 2025Updated 6 months ago
• jonludlam / ocaml-iso-filesystem

  View on GitHub
  Library for manipulating ISO images
  ☆12Jun 28, 2019Updated 6 years ago
• samoht / depyt

  View on GitHub
  Yet another type combinator library
  ☆55Mar 10, 2022Updated 3 years ago
• UnixJunkie / vp-tree

  View on GitHub
  Vantage point tree implementation in OCaml
  ☆19Apr 22, 2025Updated 9 months ago
• darrenldl / ocaml-lxc

  View on GitHub
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Oct 25, 2019Updated 6 years ago
• kayceesrk / cs6225_s21_iitm

  View on GitHub
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆13Apr 28, 2021Updated 4 years ago
• mirage / ke

  View on GitHub
  Fast implementation of queue in OCaml
  ☆51Feb 26, 2024Updated last year
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 2 months ago
• mirage / mirage-crypto

  View on GitHub
  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
  ☆81Dec 4, 2025Updated 2 months ago
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 years ago
• fafk / merkle_storage

  View on GitHub
  Key-value git-like storage with full history backed by RocksDB
  ☆13Aug 18, 2020Updated 5 years ago
• daypack-dev / daypack-lib

  View on GitHub
  (WIP) OCaml library for schedule, time, and time slots handling
  ☆15Nov 10, 2020Updated 5 years ago
• mirage / ocaml-hvsock

  View on GitHub
  Bindings for hypervisor sockets, for Linux, Windows and macOS (via Hyperkit)
  ☆16Aug 24, 2025Updated 5 months ago
• 314eter / ocaml-xxhash

  View on GitHub
  OCaml bindings for xxHash, an extremely fast hash algorithm.
  ☆13Sep 27, 2022Updated 3 years ago
• cryptosense / terminal_size

  View on GitHub
  Get the size of the attached terminal in OCaml
  ☆14Apr 26, 2022Updated 3 years ago
• kayceesrk / ocaml-aeio

  View on GitHub
  Asynchronous effect based IO
  ☆32May 14, 2021Updated 4 years ago
• cryptosense / ppx_enum

  View on GitHub
  OCaml preprocessor to derive enum-like behaviour from simple variants
  ☆14Jun 20, 2019Updated 6 years ago
• savonet / ocaml-duppy

  View on GitHub
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Apr 8, 2025Updated 10 months ago
• fpottier / mpri-2.4-projet-2022-2023

  View on GitHub
  A programming project on automatic differentiation in OCaml
  ☆11Dec 22, 2022Updated 3 years ago
• darrenldl / distrproc

  View on GitHub
  Erlang style process/actor model library in OCaml
  ☆16Apr 23, 2023Updated 2 years ago
• Cjen1 / OCons

  View on GitHub
  ☆13Nov 10, 2024Updated last year
• owlbarn / owl_ode

  View on GitHub
  Owl's Differential Equation Solvers
  ☆35Dec 15, 2021Updated 4 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• openvstorage / arakoon

  View on GitHub
  The consistent distributed key-value store in Open vStorage.
  ☆29Jun 25, 2019Updated 6 years ago
• shonfeder / alg_structs

  View on GitHub
  Algebraic Structures in OCaml Structs
  ☆15Dec 15, 2022Updated 3 years ago
• leostera / ocaml-grpc

  View on GitHub
  A gRPC implementation written in pure OCaml/Reason
  ☆16Apr 12, 2019Updated 6 years ago
• EduardoRFS / ocaml-migrate-types

  View on GitHub
  Convert OCaml Types between different major versions
  ☆14May 23, 2022Updated 3 years ago