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
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Jane Street universe☆17Updated 5 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Numerical Optimisation Library☆17Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated last month
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- OCaml/MPI interface☆26Updated 8 months ago
- A new language for optimization☆13Updated 4 years ago
- Art of Prolog Code☆36Updated 6 years ago
- RPC client/server for Irmin☆19Updated 4 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- [toy] A rewriting language similar to the core of Mathematica☆54Updated 3 years ago
- S-expression swiss knife☆47Updated last week
- GNU Guile Scheme bindings for OCaml☆16Updated 3 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated last month
- ☆14Updated 8 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- A Constraint Solver☆12Updated 9 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 7 months ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- Course Website for CS6225: Programs and Proofs @ IIT Madras☆13Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last week
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 10 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- ☆28Updated 6 years ago
- Tool to generate test-cases for regular expression engines☆37Updated 2 years ago