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:
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- GNU Guile Scheme bindings for OCaml☆16Updated 3 years ago
- Jane Street universe☆17Updated 4 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- An encyclopedia of proofs☆62Updated 8 months ago
- A new language for optimization☆13Updated 4 years ago
- OCaml/MPI interface☆26Updated 6 months ago
- Numerical Optimisation Library☆16Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated 2 weeks ago
- First-order automated theorem prover based on the tableau method☆17Updated 8 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 7 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- A Constraint Solver☆12Updated 9 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆55Updated 2 months ago
- 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
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- ☆28Updated 6 years ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago