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

☆53Feb 27, 2026Updated 3 weeks 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.

• 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 5 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated 2 months 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
• 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 2 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 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
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 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
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 3 years ago
• mmottl / cfg

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

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 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.
  ☆102Updated this week
• 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
• asemio / SZXX

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

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated last month
• jmid / wasm-prop-tester

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

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

  View on GitHub
  MiniSat reimplemented in Rust
  ☆20Apr 18, 2018Updated 7 years ago
• pqwy / tpf

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

  View on GitHub
  Pretty-printing library for OCaml
  ☆44Jun 4, 2022Updated 3 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 3 years ago
• tmattio / yoshi

  View on GitHub
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Apr 26, 2023Updated 2 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
  ☆23May 19, 2021Updated 4 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
  ☆18Aug 8, 2015Updated 10 years ago
• mirage / functoria

  View on GitHub
  A DSL to invoke otherworldly functors
  ☆63Aug 25, 2022Updated 3 years ago
• zshipko / ocaml-py

  View on GitHub
  Python 3.5+ bindings for OCaml
  ☆59Mar 29, 2024Updated last year
• imandra-ai / verified-react

  View on GitHub
  Automated reasoning for React/ReasonML
  ☆119Jan 4, 2023Updated 3 years ago
• ujamjar / ctypes_of_clang

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

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

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

  View on GitHub
  tired of typing afl-fuzz? try bun!
  ☆53Jul 4, 2023Updated 2 years ago
• dc-mak / NumLin

  View on GitHub
  NumLin: Linear Types for Linear Algebra
  ☆23Jan 21, 2023Updated 3 years ago