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
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆13Updated 3 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated last month
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 5 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 last year
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated last month
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 9 months ago
• coq-community / atbr
  Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
  ☆23Updated 4 months ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆35Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 3 months ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆54Updated 2 years ago
• smimram / strid
  A string diagram generator for LaTeX.
  ☆26Updated last year
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆44Updated 3 months ago