Alternatives and similar repositories for ocaml-z3

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

• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated last month
• OCamlPro / agrid

  View on GitHub
  agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…
  ☆15Feb 3, 2023Updated 3 years ago
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• Chris00 / ocaml-docker

  View on GitHub
  Binding to the Docker Remote API
  ☆28May 31, 2022Updated 3 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• Chris00 / ocaml-bwrap

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

  View on GitHub
  A simple command line tool for statistical calculation
  ☆10May 12, 2018Updated 7 years ago
• MisterDA / ocaml-splash

  View on GitHub
  An Awesome OCaml splashscreen
  ☆10Apr 1, 2022Updated 3 years ago
• besport / ocsigen-i18n

  View on GitHub
  Internationalisation library for Web applications (server and/or client)
  ☆13Dec 9, 2025Updated 2 months ago
• HaxeFoundation / ocamllibs

  View on GitHub
  Various OCaml Libraries
  ☆24Jun 18, 2019Updated 6 years ago
• aionescu / vec

  View on GitHub
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Jan 18, 2024Updated 2 years ago
• fxfactorial / ocaml-plist

  View on GitHub
  Create, parse Apple Plists, plays nicely with Yojson
  ☆10Jan 19, 2017Updated 9 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• marcoonroad / ocaml-cuid

  View on GitHub
  CUID generator for OCaml.
  ☆18May 7, 2022Updated 3 years ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 7 years ago
• ocaml / camlp-streams

  View on GitHub
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Oct 14, 2025Updated 4 months ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• diskuv / diskuvbox

  View on GitHub
  Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.
  ☆18Sep 3, 2024Updated last year
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 5 months ago
• OCamlPro / tzscan

  View on GitHub
  The TzScan block explorer for Tezos
  ☆12Apr 11, 2019Updated 6 years ago
• rizo / streams-bench

  View on GitHub
  Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.
  ☆15Aug 15, 2022Updated 3 years ago
• KaroshiBee / weevil

  View on GitHub
  A debugger for Michelson
  ☆15Aug 7, 2023Updated 2 years ago
• arlencox / QUICr

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• jonludlam / ocaml-iso-filesystem

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

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 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
• j0sh / ocaml-gensqlite

  View on GitHub
  OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions
  ☆12Nov 17, 2015Updated 10 years ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• m2ym / ocaml-pythonlib

  View on GitHub
  OCaml library for parsing and pretty printing Python code
  ☆38Mar 15, 2015Updated 10 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• vbmithr / ocaml-ledger-wallet

  View on GitHub
  ☆14Sep 9, 2024Updated last year
• let-def / camlroot

  View on GitHub
  A safer C FFI for OCaml
  ☆18Dec 13, 2018Updated 7 years ago
• janestreet-deprecated / ppx_type_conv

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆13Mar 29, 2018Updated 7 years ago
• dinosaure / sirodepac

  View on GitHub
  Pack file encoder/decoder in OCaml
  ☆12Jun 2, 2017Updated 8 years ago