13
Repos
255
Stars
29
Forks
96
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (13)
ocaml-opentelemetry
ocaml-tracing/ocaml-opentelemetry
OCaml
Instrumentation for https://opentelemetry.io
60
18
minisat-ml
imandra-ai/minisat-ml
OCaml
Faithful reimplementation of Minisat 2.2 in OCaml.
39
1
ocaml-tracy
ocaml-tracing/ocaml-tracy
OCaml
Bindings to the Tracy profiler.
33
1
reasonml-tic-tac-toe
imandra-ai/reasonml-tic-tac-toe
Reason
19
1
imandra-ros
imandra-ai/imandra-ros
OCaml
Imandra ROS
17
0
ocaml-cimgui
imandra-ai/ocaml-cimgui
OCaml
[wip] bindings to Dear Imgui for OCaml.
17
1
vega-lite
imandra-ai/vega-lite
OCaml
OCaml library to produce vega-lite visualizations (as json objects)
16
1
cme-mdp
imandra-ai/cme-mdp
Jupyter Notebook
Imandra Modelling Language CME MDP Model
14
3
ipl-examples
imandra-ai/ipl-examples
Imandra Protocol Language example models
12
1
mhash
imandra-ai/mhash
OCaml
hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers
10
1
catapult
imandra-ai/catapult
OCaml
Tracing library for OCaml with catapult/TEF export.
10
1
socket.io-client-ocaml
imandra-ai/socket.io-client-ocaml
OCaml
OCaml socket.io client
5
0
batsmt-ocaml
imandra-ai/batsmt-ocaml
Rust
OCaml bindings for batsmt
3
0