imandra-ai/fix-engine 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

imandra-ai/fix-engine

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/imandra-ai/fix-engine)

Close

imandra-ai / fix-engineView on GitHubMore

• External links
• Readme badge

Imandra FIX Engine

☆53Updated this week

Alternatives and similar repositories for fix-engine

Users that are interested in fix-engine are comparing it to the libraries listed below

• OCamlPro / ez_cmdliner

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

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 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
• mmottl / pomap

  View on GitHub
  OCaml library for partially ordered maps
  ☆15Nov 28, 2025Updated 3 months ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• mmottl / cfg

  View on GitHub
  OCaml library for manipulating context-free grammars
  ☆20Nov 28, 2025Updated 3 months ago
• tomjridge / tjr_btree

  View on GitHub
  B-tree (Bayer, not binary) library in OCaml
  ☆40Feb 1, 2022Updated 4 years ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated 3 weeks ago
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 years ago
• brendanlong / ocaml-ooxml

  View on GitHub
  OCaml parsers for Office Open XML and XLSX (Excel) documents
  ☆35Dec 21, 2025Updated 2 months ago
• asemio / SZXX

  View on GitHub
  Streaming ZIP XML XLSX parser
  ☆20Dec 22, 2024Updated last year
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years ago
• hcarty / ezgzip

  View on GitHub
  Very simple gzip library for OCaml
  ☆23May 19, 2021Updated 4 years ago
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆11Oct 4, 2019Updated 6 years ago
• Gbury / mSAT

  View on GitHub
  A modular sat/smt solver with proof output.
  ☆102Jan 8, 2024Updated 2 years ago
• hammerlab / ppx_deriving_cmdliner

  View on GitHub
  Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
  ☆98Sep 12, 2023Updated 2 years ago
• janestreet / memtrace_viewer

  View on GitHub
  Interactive memory profiler based on Memtrace
  ☆33Jan 15, 2026Updated last month
• zshipko / ocaml-py

  View on GitHub
  Python 3.5+ bindings for OCaml
  ☆59Mar 29, 2024Updated last year
• dinosaure / mimic

  View on GitHub
  A dynamic way to instantiate an OCaml flow
  ☆17Jun 25, 2024Updated last year
• jmid / wasm-prop-tester

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Sep 5, 2021Updated 4 years ago
• ocsigen / ts2ocaml-example

  View on GitHub
  Example use of ts2ocaml
  ☆18Feb 7, 2026Updated 3 weeks ago
• tmattio / yoshi

  View on GitHub
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Apr 26, 2023Updated 2 years ago
• dinosaure / hxd

  View on GitHub
  J'ai plus mal à la tête maintenant
  ☆25Feb 18, 2026Updated last week
• rvantonder / hack_parallel

  View on GitHub
  The core parallel and shared memory library used by Hack, Flow, and Pyre
  ☆42Feb 27, 2021Updated 5 years ago
• dbousque / lymp

  View on GitHub
  Use Python functions and objects from OCaml
  ☆71Aug 20, 2018Updated 7 years ago
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 3 years ago
• imandra-ai / ocaml-pltp

  View on GitHub
  OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
  ☆15Nov 29, 2017Updated 8 years ago
• kit-ty-kate / ocamldap

  View on GitHub
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆15Dec 8, 2025Updated 2 months ago
• ocurrent / bun

  View on GitHub
  tired of typing afl-fuzz? try bun!
  ☆51Jul 4, 2023Updated 2 years ago
• cedlemo / OCaml-Notty-introduction

  View on GitHub
  My notes about the Notty library https://github.com/pqwy/notty
  ☆44Feb 23, 2021Updated 5 years ago
• mirage / functoria

  View on GitHub
  A DSL to invoke otherworldly functors
  ☆63Aug 25, 2022Updated 3 years ago
• anmonteiro / eio-ssl

  View on GitHub
  OpenSSL bindings to OCaml EIO
  ☆20Jun 25, 2024Updated last year
• c-cube / sqlite3_utils

  View on GitHub
  [beta] High-level wrapper around ocaml-sqlite3
  ☆17Apr 28, 2022Updated 3 years ago
• stripedpajamas / ocaml-ulid

  View on GitHub
  an ocaml package to generate ULIDs
  ☆19Jan 2, 2019Updated 7 years ago
• mirage / emile

  View on GitHub
  & images
  ☆32Jan 8, 2025Updated last year
• ocaml-community / easy-format

  View on GitHub
  Pretty-printing library for OCaml
  ☆43Jun 4, 2022Updated 3 years ago