Fast data visualization and GUI tools for scientific / engineering applications

Your self-hosted, globally interconnected microblogging community

Algorithms for outlier, adversarial and drift detection

The Z3 Theorem Prover

location of the vsix file for the iml-vscode (imandra IDE) plugin

Faithful reimplementation of Minisat 2.2 in OCaml.

Open-source simulator for autonomous driving research.

Effective Esy Packaging Guide

Traffic scenario definition and execution engine

[wip] Modular SMT solver in rust

Extracted version of imandra's prelude

Elm-inspired decoders for Ocaml

Automated reasoning for React/ReasonML

Imandra client in Bucklescript (via child process)

✨Cross-platform set of tools for building native UIs with Reason/OCaml

VSCode extension for developing imandra

Reason's documentation site

The core OCaml system: compilers, runtime system, base libraries

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimi…

V2 of Real World OCaml

GraphQL servers in OCaml

Context sensitive completion for OCaml in Vim and Emacs

the only cheat sheet you need

Imandra ROS

Standard library for [Imandra](https://imandra.ai)

Command-line backgammon with a bot trained using reinforcement learning

Imandra/IML examples