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:
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- OCaml library for manipulating context-free grammars☆20Updated 5 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- OCaml/MPI interface☆26Updated 5 months ago
- Owl's Differential Equation Solvers☆35Updated 3 years ago
- Numerical Optimisation Library☆16Updated last year
- GNU Guile Scheme bindings for OCaml☆16Updated 2 years ago
- OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.☆16Updated 2 years ago
- First-order automated theorem prover based on the tableau method☆15Updated 7 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Jane Street universe☆17Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- S-expression swiss knife☆45Updated 2 weeks ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- A new language for optimization☆13Updated 4 years ago
- 👨🏻💻 Command line interface for user input☆36Updated 5 years ago
- ☆19Updated 8 years ago
- Art of Prolog Code☆36Updated 5 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- RPC client/server for Irmin☆19Updated 3 years ago
- Research into rewrite-rule completion in miniKanren☆9Updated 6 years ago
- This package contains a lightweight deductive database system in OCaml☆41Updated 3 years ago
- Kanren with databases☆43Updated 10 months ago
- Objective Caml binding embedding the R interpreter☆35Updated last year
- Strongly typed multidimensional array library for OCaml☆53Updated 5 months ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago