Kappa-Dev / KappaToolsLinks
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
☆123Updated this week
Alternatives and similar repositories for KappaTools
Users that are interested in KappaTools are comparing it to the libraries listed below
Sorting:
- The MMT Language and System☆76Updated last month
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- A library to build and execute typed scientific workflows☆48Updated last week
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆39Updated 6 years ago
- OCaml Bioinformatics Library☆124Updated last month
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- [toy] A rewriting language similar to the core of Mathematica☆53Updated 3 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 2 months ago
- PDB parser in Haskell☆21Updated 2 years ago
- Algorithms and datastructures for phylogenetics☆14Updated 3 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- deep learning for math☆28Updated 6 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Certified Machine Learning☆41Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- Owl's Differential Equation Solvers☆35Updated 3 years 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
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- ☆27Updated last year