Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/imandra-ai below:

Imandra · GitHub

• Pricing

We create groundbreaking tools that analyse algorithms, helping make them safe, fair, and transparent.

• Verified

  We've verified that the organization imandra-ai controls the domains:

  • www.imandra.ai
  • imandra.ai

1. Automated reasoning for React/ReasonML

   OCaml 114 4

2. Imandra FIX Engine

   OCaml 52 3

3. Instrumentation for https://opentelemetry.io

   OCaml 39 12

4. Faithful reimplementation of Minisat 2.2 in OCaml.

   OCaml 38 1

5. Imandra Contracts - Formal verification of smart contracts

   OCaml 32 3

6. Bindings to the Tracy profiler.

   OCaml 28

• ieee-p3109 Public

  IEEE P3109 Floating-point arithmetic

  imandra-ai/ieee-p3109’s past year of commit activity TypeScript 0 1 0 0 Updated Aug 15, 2025
• imandra-ai/imandrax-vscode’s past year of commit activity
• imandra-ai/imandra-docs’s past year of commit activity Jupyter Notebook 7 4 19 2 Updated Aug 14, 2025
• imandra-ai/imandrax-api’s past year of commit activity
• imandra-ai/fix-engine’s past year of commit activity OCaml 52 Apache-2.0 3 2 1 Updated Jul 24, 2025
• imandra-ai/ocaml-opentelemetry’s past year of commit activity
• imandra-ai/imandrakit’s past year of commit activity OCaml 4 0 1 2 Updated Jul 22, 2025
• imandra-ai/jekyll-resources’s past year of commit activity HTML 0 0 2 2 Updated Jul 1, 2025
• ocaml-gcloud Public

  OCaml bindings to Google Cloud Platform APIs

  imandra-ai/ocaml-gcloud’s past year of commit activity OCaml 25 MIT 6 0 0 Updated Jun 5, 2025
• imandra-ai/imandrax-examples’s past year of commit activity OCaml 1 Apache-2.0 0 0 0 Updated Jun 5, 2025

Loading…

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4