Alternatives and similar repositories for visualsc

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

• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 6 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated last year
• JUrban / MPTP2
  ☆19Updated 8 years ago
• janestreet / universe
  Jane Street universe
  ☆17Updated 4 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 3 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 4 years ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last year
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 4 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 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
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated last year
• StagedHPC / shonan-challenge
  ☆31Updated 11 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• kiranandcode / guile-ocaml
  GNU Guile Scheme bindings for OCaml
  ☆16Updated 2 years ago
• owlbarn / owl_opt
  Numerical Optimisation Library
  ☆16Updated last year
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆53Updated 4 months ago
• nikolaushuber / ocaml_inets
  An Encoding of Interaction Nets in OCaml
  ☆9Updated 11 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 8 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆16Updated 2 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆65Updated last month
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago