Kappa-Dev / KappaToolsLinks
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
☆123Updated last 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☆75Updated last year
- A library to build and execute typed scientific workflows☆48Updated 8 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- OCaml Bioinformatics Library☆124Updated last month
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Updated 2 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 6 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆14Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆21Updated 2 years ago
- Graph Grammar Library☆26Updated 8 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- Real number computation software☆126Updated 3 years ago
- Efficient, high-level dynamic programming☆27Updated 2 years ago
- ☆14Updated 2 years ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated last week
- A DSL for the internal language of a topos☆66Updated last month
- Rule-based modeling framework☆64Updated 3 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- a datastructure for scalable combinatorial syntax☆19Updated 6 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 12 years ago
- Data visualization and plotting for OCaml☆19Updated 7 years ago
- ☆10Updated 10 months ago