Imandra

imandrakit Public
Core utils library for Imandra

imandra-ai/imandrakit’s past year of commit activity

OCaml 4 0 0 1 Updated Jul 9, 2024
opam-repository Public
opam repository for AI

imandra-ai/opam-repository’s past year of commit activity

5 0 0 1 Updated Jul 4, 2024
imandra-docs Public
Imandra Documentation

imandra-ai/imandra-docs’s past year of commit activity

Jupyter Notebook 7 4 17 3 Updated Jul 4, 2024
itr-ast Public

imandra-ai/itr-ast’s past year of commit activity

JavaScript 1 0 0 0 Updated Jun 25, 2024
imandra-stdlib Public
Standard library for [Imandra](https://imandra.ai)

imandra-ai/imandra-stdlib’s past year of commit activity

Makefile 5 0 0 0 Updated Jun 24, 2024
imandra-prelude Public
Extracted version of imandra's prelude

imandra-ai/imandra-prelude’s past year of commit activity

OCaml 12 Apache-2.0 1 0 0 Updated Jun 11, 2024
ipl-vscode Public
Imandra Protocol Language VS Code Plugin

imandra-ai/ipl-vscode’s past year of commit activity

8 1 0 0 Updated May 31, 2024
batrpc Public
RPC framework on top of protobuf.

imandra-ai/batrpc’s past year of commit activity

OCaml 3 0 0 0 Updated May 30, 2024
z3 Public
private fork of z3

imandra-ai/z3’s past year of commit activity

C++ 0 0 0 2 Updated May 20, 2024
ocaml-gcloud Public
OCaml bindings to Google Cloud Platform APIs

imandra-ai/ocaml-gcloud’s past year of commit activity

OCaml 26 MIT 4 0 1 Updated Apr 30, 2024

Provide feedback