differential-equations engineering-computation ocaml ode ode-solver scientific-computing sundials

dune functional-programming gradual-typing hindley-milner interpreter ocaml repl type-inferece

abstract-interpretation coq interpreter ocaml operational-semantics program-analysis

bot github github-api github-app gitlab gitlab-api ocaml webhook

coq extraction ocaml

latex ocaml string-diagram

linda ocaml ocaml-library ocaml-multicore parallel-programming tuplespace

abstract-interpretation c ocaml program-analysis race-conditions race-detection software-verification static-analysis static-code-analysis

ml ocaml semantic-search

dependent-types module ocaml records subtype

debuggers emacs michelson ocaml tezos