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
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated last week
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 3 years ago
• vasilisp / inez
  A Constraint Solver
  ☆12Updated 9 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 7 months ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated 3 months ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆62Updated 9 months ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆17Updated 2 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• craff / phox
  ☆14Updated 7 months ago
• ocamllabs / ocaml-memory-model
  ☆29Updated 6 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 3 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 8 months ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 6 years ago
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆33Updated 3 weeks ago
• mmottl / gpr
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Updated last week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆70Updated 2 years ago
• Gbury / archsat
  A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…
  ☆27Updated 2 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆47Updated 3 weeks ago