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☆123Updated 3 weeks ago
- A library to build and execute typed scientific workflows☆48Updated last month
- Category theory in Coq, by Jason Gross☆15Updated 10 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Phylogenetic Application written in OCaml and C☆18Updated 5 years ago
- MathIOmica is a Mathematica package for omics data analyses☆12Updated 2 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 6 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 14 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- OCaml Bioinformatics Library☆124Updated last month
- Art of Prolog Code☆36Updated 6 years ago
- GNU-Make-like utility for managing builds and complex workflows☆110Updated 2 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- A MiniKanren in Python☆36Updated 9 years ago
- Workflows written in common workflow language (CWL)☆14Updated 6 years ago
- reimplementation of BioPerl classes in Raku (e.g. the language formerly known as Perl6)☆48Updated 7 years ago
- purple: compiling a reflective language☆33Updated last year
- The MMT Language and System☆77Updated 2 months ago
- The Scotch programming language☆44Updated 13 years ago
- Red (red-lang.org) and Rebol C++ Binding☆18Updated 2 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆38Updated last month
- Causal and probabilistic reasoning with continuous time dynamical systems☆19Updated 2 months ago
- Probabilistic miniKanren☆67Updated 10 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- ☆81Updated 7 years ago