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
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Updated 3 weeks ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- GNU Guile Scheme bindings for OCaml☆16Updated 3 years ago
- Numerical Optimisation Library☆17Updated 2 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Updated 3 years ago
- OCaml/MPI interface☆26Updated 8 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 9 months ago
- An encyclopedia of proofs☆63Updated 10 months ago
- ☆14Updated 7 months ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- OCaml library for combinatorics☆35Updated 3 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Art of Prolog Code☆36Updated 6 years ago
- Stub code generator for OCaml/C interface☆33Updated last month
- Jane Street universe☆17Updated 5 years ago
- A Constraint Solver☆12Updated 9 years ago
- Prototype code for some Julia-OCaml bindings☆16Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- First-order automated theorem prover based on the tableau method☆17Updated last month
- A simple BDD library for OCaml☆13Updated 4 months ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago