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

☆55Aug 6, 2026Updated 2 months ago

Alternatives and similar repositories for fix-engine

Users that are interested in fix-engine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆13Nov 6, 2021Updated 4 years ago
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 3 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆14Apr 7, 2026Updated 6 months ago
• imandra-ai / contracts

  View on GitHub
  Imandra Contracts - Formal verification of smart contracts
  ☆31Nov 1, 2016Updated 10 years ago
• imandra-ai / ocaml-pltp

  View on GitHub
  OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
  ☆14Nov 29, 2017Updated 8 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 5 years ago
• tomjridge / tjr_btree

  View on GitHub
  B-tree (Bayer, not binary) library in OCaml
  ☆40Oct 25, 2026Updated last week
• hcarty / ezgzip

  View on GitHub
  Very simple gzip library for OCaml
  ☆25May 19, 2021Updated 5 years ago
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 4 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆37Jan 1, 2024Updated 2 years ago
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆12Oct 4, 2019Updated 7 years ago
• mmottl / pomap

  View on GitHub
  OCaml library for partially ordered maps
  ☆15Jun 23, 2026Updated 4 months ago
• dividat / ocaml-semver

  View on GitHub
  Semantic version handling for OCaml
  ☆18Apr 15, 2021Updated 5 years ago
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• hhugo / deriving-yojson

  View on GitHub
  Parse/convert ocaml value from/to yojson ast
  ☆12Mar 24, 2015Updated 11 years ago
• anuragsoni / http_async

  View on GitHub
  Look at https://github.com/anuragsoni/shuttle_http instead
  ☆15Jan 16, 2026Updated 9 months ago
• monstasat / chartjs-ocaml

  View on GitHub
  Chart.js bindings for OCaml
  ☆13May 13, 2021Updated 5 years ago
• ahrefs / ocaml-qfs

  View on GitHub
  OCaml bindings to libqfs
  ☆13Nov 7, 2025Updated 11 months ago
• fadbadml-dev / FADBADml

  View on GitHub
  Automatic Differentiation: FADBAD++ for OCaml
  ☆15Oct 26, 2020Updated 6 years ago
• ocaml-community / ISO8601.ml

  View on GitHub
  Parser and printer for date-times in ISO8601
  ☆30Feb 8, 2024Updated 2 years ago
• nojb / ocaml-dht

  View on GitHub
  OCaml bindings for jech/dht
  ☆25Jun 16, 2020Updated 6 years ago
• StrykerKKD / Logical

  View on GitHub
  Minimalistic logic programming framework
  ☆22Feb 9, 2020Updated 6 years ago
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆24Apr 14, 2020Updated 6 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• apatil / aplomb

  View on GitHub
  Data visualization and plotting for OCaml
  ☆19Nov 28, 2017Updated 8 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 4 years ago
• let-def / goo

  View on GitHub
  Cross-runtime object interface generation
  ☆35Oct 28, 2021Updated 5 years ago
• apatil / ocaml-vega-lite

  View on GitHub
  Complete, typesafe representation of Vega-Lite in OCaml
  ☆10Nov 13, 2017Updated 8 years ago
• verbosemode / syslog-message

  View on GitHub
  OCaml parser for RFC 3164 Syslog messages
  ☆25Jun 3, 2023Updated 3 years ago
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆14Oct 23, 2020Updated 6 years ago
• abeaumont / ocaml-chacha

  View on GitHub
  ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml
  ☆10Apr 3, 2022Updated 4 years ago
• backtracking / bheap

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

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• dinosaure / tuyau

  View on GitHub
  Should be the next conduit ... or not
  ☆18Apr 20, 2020Updated 6 years ago
• polytypic / par-ml

  View on GitHub
  Experimental parallel and concurrent OCaml
  ☆15Jan 28, 2023Updated 3 years ago
• igarnier / clustering

  View on GitHub
  An OCaml clustering library
  ☆20Apr 26, 2021Updated 5 years ago
• imandra-ai / vega-lite

  View on GitHub
  OCaml library to produce vega-lite visualizations (as json objects)
  ☆16Aug 17, 2022Updated 4 years ago
• hammerlab / ppx_deriving_cmdliner

  View on GitHub
  Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
  ☆97Sep 12, 2023Updated 3 years ago
• c-cube / batsat-ocaml

  View on GitHub
  OCaml bindings for batsat (https://github.com/c-cube/batsat)
  ☆12Mar 23, 2022Updated 4 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 4 years ago