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

☆55Jul 14, 2026Updated last week

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.

• imandra-ai / ipl-examples

  View on GitHub
  Imandra Protocol Language example models
  ☆12Aug 23, 2024Updated last year
• imandra-ai / cme-mdp

  View on GitHub
  Imandra Modelling Language CME MDP Model
  ☆13May 12, 2020Updated 6 years ago
• imandra-ai / verified-react

  View on GitHub
  Automated reasoning for React/ReasonML
  ☆120Jan 4, 2023Updated 3 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆14Apr 7, 2026Updated 3 months ago
• 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
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• 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
• imandra-ai / contracts

  View on GitHub
  Imandra Contracts - Formal verification of smart contracts
  ☆32Nov 1, 2016Updated 9 years ago
• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 3 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆38Jan 1, 2024Updated 2 years ago
• barko / brr-eg

  View on GitHub
  experiments with Brr/Note
  ☆13Aug 27, 2021Updated 4 years 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
• OCamlPro / digodoc

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

  View on GitHub
  OCaml library for manipulating context-free grammars
  ☆20Jun 23, 2026Updated last month
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆12Oct 4, 2019Updated 6 years ago
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆16Oct 28, 2022Updated 3 years ago
• hammerlab / ppx_deriving_cmdliner

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

  View on GitHub
  A modular sat/smt solver with proof output.
  ☆105May 4, 2026Updated 2 months ago
• asemio / SZXX

  View on GitHub
  Streaming ZIP XML XLSX parser
  ☆21Dec 22, 2024Updated last year
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated 5 months ago
• brendanlong / ocaml-ooxml

  View on GitHub
  OCaml parsers for Office Open XML and XLSX (Excel) documents
  ☆35Dec 21, 2025Updated 7 months ago
• ocaml-community / easy-format

  View on GitHub
  Pretty-printing library for OCaml
  ☆44Jun 4, 2022Updated 4 years ago
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆24Apr 14, 2020Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆17Mar 23, 2023Updated 3 years ago
• jmid / wasm-prop-tester

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆22Sep 5, 2021Updated 4 years ago
• tmattio / yoshi

  View on GitHub
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Apr 26, 2023Updated 3 years ago
• imandra-ai / reasonml-tic-tac-toe

  View on GitHub
  ☆19Jan 7, 2023Updated 3 years ago
• hcarty / ezgzip

  View on GitHub
  Very simple gzip library for OCaml
  ☆25May 19, 2021Updated 5 years ago
• ygrek / opam-bundle

  View on GitHub
  small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2
  ☆19Aug 8, 2015Updated 10 years ago
• mirage / functoria

  View on GitHub
  A DSL to invoke otherworldly functors
  ☆64Aug 25, 2022Updated 3 years ago
• qnighy / ratsat

  View on GitHub
  MiniSat reimplemented in Rust
  ☆21Apr 18, 2018Updated 8 years ago
• ocurrent / bun

  View on GitHub
  tired of typing afl-fuzz? try bun!
  ☆54Jul 4, 2023Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• dinosaure / hxd

  View on GitHub
  J'ai plus mal à la tête maintenant
  ☆28Jun 11, 2026Updated last month
• ujamjar / ctypes_of_clang

  View on GitHub
  Convert C-code to OCaml Ctypes via Clang
  ☆21Apr 15, 2019Updated 7 years ago
• dbousque / lymp

  View on GitHub
  Use Python functions and objects from OCaml
  ☆72Aug 20, 2018Updated 7 years ago
• stevenvar / OCaLustre

  View on GitHub
  OCaml syntax extension for synchronous programming...
  ☆33Aug 17, 2023Updated 2 years ago
• dinosaure / tuyau

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

  View on GitHub
  an ocaml package to generate ULIDs
  ☆20Jan 2, 2019Updated 7 years ago
• andersfugmann / aws-s3

  View on GitHub
  Ocaml library to access Amazon S3
  ☆51Jun 7, 2026Updated last month