Kappa-Dev / KappaToolsLinks
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
☆120Updated this week
Alternatives and similar repositories for KappaTools
Users that are interested in KappaTools are comparing it to the libraries listed below
Sorting:
- A library to build and execute typed scientific workflows☆47Updated 6 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- The MMT Language and System☆74Updated 11 months ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- Temporal Pathway Synthesizer☆17Updated last year
- Rule-based modeling framework☆63Updated last month
- Efficient, high-level dynamic programming☆27Updated last year
- ☆13Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆81Updated 4 months ago
- OCaml Bioinformatics Library☆123Updated this week
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- a C library for symbolic and numerical analysis of a system of ordinary differential equations (ODEs) derived from a chemical reaction ne…☆22Updated 7 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Graph Grammar Library☆25Updated 7 years ago
- iBioSim is a computer-aided design (CAD) tool aimed for the modeling, analysis, and design of genetic circuits. It is capable of importin…☆60Updated 7 months ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- toolkit for the manipulation and analysis of Logical Qualitative Models of biological regulatory networks☆19Updated 4 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- ☆10Updated 8 months ago
- Mirror of ocaml-forester☆45Updated last year
- Libraries for the Systems Biology Graphical Notation (SBGN); Java and C++☆16Updated 8 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- A DSL for the internal language of a topos☆64Updated last week
- deep learning for math☆30Updated 6 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 5 months ago
- Java Library for Synthetic Biology Open Language (SBOL)☆39Updated 2 months ago
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago