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.

• imandra-ai / ipl-examples

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

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

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

  View on GitHub
  Easy Cmdliner
  ☆14Apr 7, 2026Updated 6 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
• 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.
• 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
  ☆31Nov 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
  ☆37Jan 1, 2024Updated 2 years ago
• 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
  ☆40Feb 1, 2022Updated 4 years ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 3 years ago
• OCamlPro / digodoc

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

  View on GitHub
  OCaml library for manipulating context-free grammars
  ☆20Jun 23, 2026Updated 3 months 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.
• ocaml / ocaml-library-standard

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

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 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)
  ☆97Sep 12, 2023Updated 3 years ago
• Gbury / mSAT

  View on GitHub
  A modular sat/smt solver with proof output.
  ☆106Aug 18, 2026Updated last month
• asemio / SZXX

  View on GitHub
  Streaming ZIP XML XLSX parser
  ☆21Oct 5, 2026Updated last week
• jonludlam / js_top_worker

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

  View on GitHub
  OCaml parsers for Office Open XML and XLSX (Excel) documents
  ☆35Sep 21, 2026Updated 3 weeks ago
• ocaml-community / easy-format

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

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆24Apr 14, 2020Updated 6 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• patricoferris / ocaml-cid

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

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆22Sep 5, 2021Updated 5 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
  ☆18Aug 8, 2015Updated 11 years ago
• mirage / functoria

  View on GitHub
  A DSL to invoke otherworldly functors
  ☆64Aug 25, 2022Updated 4 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!
  ☆53Jul 4, 2023Updated 3 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• dinosaure / hxd

  View on GitHub
  J'ai plus mal à la tête maintenant
  ☆28Jun 11, 2026Updated 4 months ago
• 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
  ☆71Aug 20, 2018Updated 8 years ago
• stevenvar / OCaLustre

  View on GitHub
  OCaml syntax extension for synchronous programming...
  ☆33Aug 17, 2023Updated 3 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
  ☆51Sep 26, 2026Updated 2 weeks ago