[go: up one dir, main page]
Skip to content

repositories Search Results · topic:ocaml org:imandra-ai fork:true

Filter by

16 results
 (309 ms)

16 results

inimandra-ai (press backspace or delete to remove)

imandra-ai/minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.
  • OCaml
  • 37
  • Updated
    on Mar 26, 2023
Star

imandra-ai/ocaml-opentelemetry

Instrumentation for https://opentelemetry.io
  • OCaml
  • 33
  • Updated
    24 days ago
Star

imandra-ai/ocaml-tracy

Bindings to the Tracy profiler.
  • OCaml
  • 25
  • Updated
    20 days ago
Star

imandra-ai/reasonml-tic-tac-toe

  • Reason
  • 19
  • Updated
    on Jan 7, 2023
Star

imandra-ai/imandra-ros

Imandra ROS
  • OCaml
  • 17
  • Updated
    on Jan 24, 2022
Star

imandra-ai/vega-lite

OCaml library to produce vega-lite visualizations (as json objects)
  • OCaml
  • 16
  • Updated
    on Aug 17, 2022
Star

imandra-ai/ocaml-cimgui

[wip] bindings to Dear Imgui for OCaml.
  • OCaml
  • 16
  • Updated
    on Jun 26, 2020
Star

imandra-ai/cme-mdp

Imandra Modelling Language CME MDP Model
  • Jupyter Notebook
  • 13
  • Updated
    on May 12, 2020
Star

imandra-ai/mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers
  • OCaml
  • 10
  • Updated
    on Aug 19, 2021
Star

imandra-ai/catapult

Tracing library for OCaml with catapult/TEF export.
  • OCaml
  • 9
  • Updated
    on Jan 8
Star
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Package icon

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects
ProTip! 
Press the
/
key to activate the search input again and adjust your query.