a-nikolaev / visualscLinks
A simplicial complex and hypergraph visualization tool similar to Graphviz.
☆38Updated 6 years ago
Alternatives and similar repositories for visualsc
Users that are interested in visualsc are comparing it to the libraries listed below
Sorting:
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- 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
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- OCaml/MPI interface☆26Updated 6 months ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 7 months ago
- GNU Guile Scheme bindings for OCaml☆16Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆17Updated 7 months ago
- Jane Street universe☆17Updated 4 years ago
- OCaml library for manipulating context-free grammars☆20Updated 6 months ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Updated 3 years ago
- ☆31Updated 11 years ago
- A Constraint Solver☆12Updated 9 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- A simple BDD library for OCaml☆13Updated 2 months ago
- A new language for optimization☆13Updated 4 years ago
- Choice operator in OCaml, providing a backtracking monad☆26Updated 3 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Stub code generator for OCaml/C interface☆33Updated last month
- Strongly typed multidimensional array library for OCaml☆53Updated 5 months ago
- Tool to generate test-cases for regular expression engines☆35Updated 2 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- A synchronous language with ODEs☆51Updated this week
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Updated last year
- Kleene algebra modulo theories☆27Updated 2 years ago
- Simple OCaml interface for Gnuplot☆11Updated 3 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago