OCamlPro/optal 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

OCamlPro/optal

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/OCamlPro/optal)

Close

OCamlPro / optalView on GitHubMore

• External links
• Readme badge

A new language for optimization

☆13May 17, 2021Updated 4 years ago

Alternatives and similar repositories for optal

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

• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago
• OCamlPro / ocb

  View on GitHub
  ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.
  ☆21Sep 22, 2025Updated 5 months ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• xapi-project / xenopsd

  View on GitHub
  XCP toolstack domain manager
  ☆16Mar 5, 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
• besport / ocsigen-i18n

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

  View on GitHub
  An Awesome OCaml splashscreen
  ☆10Apr 1, 2022Updated 3 years ago
• Chris00 / ocaml-bwrap

  View on GitHub
  Use Bubblewrap to sandbox executables
  ☆12Feb 22, 2021Updated 5 years ago
• robur-coop / mirage-monitoring

  View on GitHub
  mirror of https://git.robur.coop/robur/mirage-monitoring
  ☆13Sep 30, 2025Updated 5 months ago
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Mar 21, 2017Updated 8 years ago
• xapi-project / xcp-networkd

  View on GitHub
  The XCP networking daemon
  ☆14May 18, 2022Updated 3 years ago
• susisu / est-ocaml

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

  View on GitHub
  Certified Machine Learning
  ☆41Mar 10, 2021Updated 4 years ago
• janestreet / ppx_typed_fields

  View on GitHub
  GADT-based field accessors and utilities
  ☆17Jan 15, 2026Updated last month
• marcoonroad / ocaml-cuid

  View on GitHub
  CUID generator for OCaml.
  ☆18May 7, 2022Updated 3 years ago
• rizo / rego

  View on GitHub
  Reasonable Go.
  ☆10Aug 13, 2018Updated 7 years ago
• janestreet / email_message

  View on GitHub
  E-mail message parser
  ☆13Jan 15, 2026Updated last month
• gildor478 / ocaml-gettext

  View on GitHub
  ☆13Aug 4, 2025Updated 6 months ago
• fxfactorial / ocaml-plist

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

  View on GitHub
  A debugger for Michelson
  ☆15Aug 7, 2023Updated 2 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
• vasilisp / inez

  View on GitHub
  A Constraint Solver
  ☆12Dec 4, 2015Updated 10 years ago
• jonludlam / ocaml-iso-filesystem

  View on GitHub
  Library for manipulating ISO images
  ☆12Jun 28, 2019Updated 6 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
• jet / Microservice-Edge-Testing-Example

  View on GitHub
  A sample implementation of complex microservice edge testing using distributable fakes
  ☆13Nov 19, 2020Updated 5 years ago
• xvw / ocamlectron

  View on GitHub
  [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml
  ☆11Nov 10, 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
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated 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
• cryptosense / ppx_enum

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

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• odis-labs / rekube

  View on GitHub
  Rekube is a ReasonML toolkit for Kubernetes configuration.
  ☆28Apr 27, 2020Updated 5 years ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 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
• andreas / irmin-fdb

  View on GitHub
  Irmin store backed by FoundationDB
  ☆12Nov 19, 2019Updated 6 years ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Jun 13, 2021Updated 4 years ago