kappamodeler / kappaLinks
A domain-specific language that allows the expression or protein interactions that can be used to build executable models.
☆23Updated 2 years ago
Alternatives and similar repositories for kappa
Users that are interested in kappa are comparing it to the libraries listed below
Sorting:
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated this week
- Phylogenetic Application written in OCaml and C☆18Updated 5 years ago
- A library to build and execute typed scientific workflows☆48Updated 6 months ago
- Temporal Pathway Synthesizer☆17Updated last year
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- Collection of clustering algorithms written in Ocaml☆19Updated 16 years ago
- Data Science Ontology☆38Updated 2 months ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- BioLib brings together a set of opensource libraries written in C/C++ and makes them available for all Bio* languages☆37Updated 14 years ago
- Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming☆9Updated 7 years ago
- A new language for optimization☆13Updated 4 years ago
- MathIOmica is a Mathematica package for omics data analyses☆12Updated last year
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 7 years ago
- A system for computational category theory and applications☆38Updated 9 years ago
- OCaml Bioinformatics Library☆124Updated 2 weeks ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 6 months ago
- purple: compiling a reflective language☆33Updated 9 months ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- ☆13Updated 2 years ago
- ☆9Updated 8 years ago
- A specification and Python implementation for representing variants from Multiplexed Assays of Variant Effect.☆10Updated 2 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Home of the Genomic Feature and Variation Ontology (GFVO)☆16Updated 4 years ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- The MMT Language and System☆75Updated 11 months ago