imandra-ai/imandrakit imandra-ai/imandrakit

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created 9 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imandra-ai/imandrakit
github

imandra-ai

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Core utils library for Imandra

More Repositories

1

verified-react

Automated reasoning for React/ReasonML
OCaml
112
star
2

fix-engine

Imandra FIX Engine
OCaml
51
star
3

minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.
OCaml
38
star
4

ocaml-opentelemetry

Instrumentation for https://opentelemetry.io
OCaml
33
star
5

contracts

Imandra Contracts - Formal verification of smart contracts
OCaml
32
star
6

ocaml-tracy

Bindings to the Tracy profiler.
OCaml
26
star
7

ocaml-gcloud

OCaml bindings to Google Cloud Platform APIs
OCaml
26
star
8

reasonml-tic-tac-toe

Reason
19
star
9

imandra-ros

Imandra ROS
OCaml
17
star
10

vega-lite

OCaml library to produce vega-lite visualizations (as json objects)
OCaml
16
star
11

ocaml-cimgui

[wip] bindings to Dear Imgui for OCaml.
OCaml
15
star
12

cme-mdp

Imandra Modelling Language CME MDP Model
Jupyter Notebook
13
star
13

ocaml-pltp

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
OCaml
13
star
14

imandra-prelude

Extracted version of imandra's prelude
OCaml
12
star
15

ipl-examples

Imandra Protocol Language example models
11
star
16

batsmt

[wip] Modular SMT solver in rust
SMT
10
star
17

mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers
OCaml
10
star
18

catapult

Tracing library for OCaml with catapult/TEF export.
OCaml
10
star
19

ipl-vscode

Imandra Protocol Language VS Code Plugin
8
star
20

imandra-docs

Imandra Documentation
Jupyter Notebook
7
star
21

imandra-starter-template

Example layout for an Imandra project
OCaml
6
star
22

iex-auction-model

An Imandra model of the IEX Opening/Closing auction logic
OCaml
6
star
23

imandra-stdlib

Standard library for [Imandra](https://imandra.ai)
Makefile
5
star
24

opam-repository

opam repository for AI
5
star
25

socket.io-client-ocaml

OCaml socket.io client
OCaml
5
star
26

imandra-examples

Imandra/IML examples
OCaml
4
star
27

bs-imandra-client

Imandra client in Bucklescript (via child process)
OCaml
4
star
28

iml-vscode

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

demo-smart-constructors

demo intended to show the power of smart constructors and private aliases in OCaml
OCaml
3
star
30

batrpc

RPC framework on top of protobuf.
OCaml
3
star
31

imandra-reason-parser

Reason parser for Imandra (fork of reason's parser)
OCaml
3
star
32

ocyaml

OCaml bindings for libyaml
OCaml
3
star
33

cbor-pack

OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR
OCaml
3
star
34

ocaml-engineio-client

OCaml
3
star
35

ipl-spacemacs-layer

Emacs Lisp
3
star
36

batsmt-ocaml

OCaml bindings for batsmt
Rust
3
star
37

bs-jest-expect-imandra

Jest helpers for asserting against Imandra client responses
OCaml
2
star
38

imandra-vscode

VSCode extension for developing imandra
TypeScript
2
star
39

imandra-ptime

IML-compatible version of the Ptime library
OCaml
2
star
40

behavior-planning

Formally reasoning about autonomous vehicle behavior planning with Imandra
OCaml
2
star
41

imandra-http-api-client

Interact with Imandra via http from within OCaml.
OCaml
2
star
42

imandra-client-http-server

OCaml
2
star
43

tutorials

Imandra tutorials
2
star
44

pa_do

unofficial fork of pa_do
OCaml
1
star
45

verified-metitarski

Work on fully expansive verification of MetiTarski proofs
Standard ML
1
star
46

imandra-stats-experiments

Experiments combining Imandra with statistical or probabilistic models
Jupyter Notebook
1
star
47

imandra-mode

Emacs mode for Imandra
Emacs Lisp
1
star
48

abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
OCaml
1
star
49

seating-planner

JavaScript
1
star
50

itr-ast

JavaScript
1
star
51

imandra-ast

Simple AST exportable from Imandra
OCaml
1
star
52

imandra-issues

Public repo for tracking issues/feature requests for Imandra
1
star
53

imandra-merlin

Merlin reader for imandra files
OCaml
1
star
54

regions-rl

Collection of examples for reinforcement learning
Jupyter Notebook
1
star