Alternatives and similar repositories for visualsc

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

• JUrban / MPTP2
  ☆19Updated 8 years ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 5 months ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 4 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 2 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• Anniepoo / swiplchrtut
  Tutorial for the CHR system
  ☆16Updated 4 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
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆34Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• nfzhou / lp-contest
  ☆10Updated 7 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last month
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• mseri / ocaml-gr
  [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)
  ☆14Updated 3 years ago
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 5 months ago
• pveber / ocaml-r
  Objective Caml binding embedding the R interpreter
  ☆35Updated last year
• janestreet / sexp
  S-expression swiss knife
  ☆44Updated last week
• brandonwillard / mk-rewrite-completion
  Research into rewrite-rule completion in miniKanren
  ☆9Updated 6 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 weeks ago