Kappa-Dev / KappaToolsLinks
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
☆123Updated 3 weeks ago
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☆77Updated 2 months ago
- A library to build and execute typed scientific workflows☆48Updated last month
- OCaml Bioinformatics Library☆124Updated last month
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- ☆14Updated 2 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Metamath verifier in Python☆40Updated 5 months ago
- Bioinformatics Ketrew Pipelines☆28Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- deep learning for math☆28Updated 6 years ago
- A new language for optimization☆13Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆34Updated this week
- Real number computation software☆128Updated 3 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- A DSL for the internal language of a topos☆66Updated 4 months ago
- ☆27Updated last year
- PDB parser in Haskell☆21Updated 2 years ago