Kappa-Dev / KappaTools
Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
☆110Updated last week
Related projects: ⓘ
- Keep Track of Experimental Workflows☆76Updated 6 years ago
- A library to build and execute typed scientific workflows☆46Updated 4 months ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Updated last year
- Bioinformatics pipelines with Haskell and Shake☆55Updated 5 years ago
- Bioinformatics Ketrew Pipelines☆27Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- OCaml Bioinformatics Library☆123Updated last year
- PDB parser in Haskell☆20Updated last year
- Temporal Pathway Synthesizer☆16Updated 2 months ago
- Graph Grammar Library☆23Updated 7 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆46Updated last year
- Reference type checker for the Lean theorem prover☆13Updated 6 years ago
- ☆11Updated last year
- Relational version of parsing with derivatives code☆42Updated 11 years ago
- Algorithms and datastructures for phylogenetics☆14Updated 2 months ago
- Data Science Ontology☆36Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- A new language for optimization☆13Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Updated 4 years ago
- OCaml Math Library☆119Updated 6 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.☆43Updated 2 months ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆75Updated 3 weeks ago
- A collection of bioinformatics algorithms☆12Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 4 years ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago
- Scientific workflow management☆51Updated 2 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago