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 last year
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 4 months ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆35Updated last year
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 2 years ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated 2 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆44Updated 5 months ago
• nikolaushuber / ocaml_inets
  An Encoding of Interaction Nets in OCaml
  ☆9Updated 9 months ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆19Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• apatil / aplomb
  Data visualization and plotting for OCaml
  ☆19Updated 7 years ago
• axiles / ocaml-efl
  An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary
  ☆27Updated 2 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 3 months ago
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• StrykerKKD / Logical
  Minimalistic logic programming framework
  ☆23Updated 5 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• CGenie / ray-tracer
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Updated 4 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago