arjunguha/ocaml-z3 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

arjunguha/ocaml-z3

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/arjunguha/ocaml-z3)

Close

arjunguha / ocaml-z3View on GitHubMore

• External links
• Readme badge

☆16Feb 20, 2019Updated 7 years ago

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
• 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
• susisu / est-ocaml

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

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• 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 3 months ago
• Chris00 / ocaml-bwrap

  View on GitHub
  Use Bubblewrap to sandbox executables
  ☆12Feb 22, 2021Updated 5 years 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
• rizo / streams-bench

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

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 7 years ago
• 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
• fxfactorial / ocaml-plist

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

  View on GitHub
  CUID generator for OCaml.
  ☆18May 7, 2022Updated 3 years ago
• hannesm / ocaml-hkdf

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

  View on GitHub
  The TzScan block explorer for Tezos
  ☆12Apr 11, 2019Updated 6 years ago
• jonludlam / ocaml-iso-filesystem

  View on GitHub
  Library for manipulating ISO images
  ☆12Jun 28, 2019Updated 6 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
• ocaml / oloop

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

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

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• KaroshiBee / weevil

  View on GitHub
  A debugger for Michelson
  ☆15Aug 7, 2023Updated 2 years ago
• mirage / ocaml-hvsock

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

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

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

  View on GitHub
  OCaml ppx preprocessor to generate SQLite3 prepared statements and query functions
  ☆12Nov 17, 2015Updated 10 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
• m2ym / ocaml-pythonlib

  View on GitHub
  OCaml library for parsing and pretty printing Python code
  ☆38Mar 15, 2015Updated 10 years ago
• jin / scheme.ml

  View on GitHub
  Scheme (R6RS subset) interpreter written in OCaml
  ☆17Jun 30, 2020Updated 5 years ago
• dinosaure / sirodepac

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

  View on GitHub
  ☆15Dec 11, 2020Updated 5 years ago
• mirage / mirage-xen

  View on GitHub
  Xen core platform libraries for MirageOS
  ☆18Feb 5, 2025Updated last year
• janestreet-deprecated / ppx_type_conv

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