Alternatives and similar repositories for visualsc

Users that are interested in visualsc are comparing it to the libraries listed below

• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 4 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 4 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 5 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆27Updated last year
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆18Updated 3 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 3 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆16Updated last year
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 2 months ago
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• backtracking / creal
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Updated last year
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• LaurentMazare / ocaml.jl
  Prototype code for some Julia-OCaml bindings
  ☆16Updated 5 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 8 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 4 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 8 years ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last year
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Updated 2 years ago
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 8 months ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated 2 months ago
• sanette / ocaml-api
  Proposition for modernizing the OCaml API from the official manual
  ☆10Updated 2 years ago
• nojb / riscv-ocaml
  RISC-V port of the OCaml system
  ☆44Updated 5 years ago