kappamodeler / kappa
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
- Relational version of parsing with derivatives code☆42Updated 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
- A library to build and execute typed scientific workflows☆47Updated 3 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Bioinformatics pipelines with Haskell and Shake☆56Updated 5 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆115Updated this week
- Temporal Pathway Synthesizer☆17Updated 9 months ago
- Phylogenetic Application written in OCaml and C☆18Updated 5 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A semantically unified SQL and NoSQL query and update system☆17Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- ☆9Updated 8 years ago
- A new language for optimization☆13Updated 3 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆13Updated 2 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 2 months ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 12 years ago
- Home of the Genomic Feature and Variation Ontology (GFVO)☆16Updated 4 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 9 months ago
- A MiniKanren in Python☆35Updated 8 years ago
- Objective Caml binding embedding the R interpreter☆35Updated last year
- Algorithms and datastructures for phylogenetics☆14Updated last month
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 7 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- BigWIG, BigBED and TDF for the JVM☆13Updated 4 years ago