bioasp / caspoLinks
Reasoning on the response of logical signaling networks with Answer Set Programming
☆14Updated 3 years ago
Alternatives and similar repositories for caspo
Users that are interested in caspo 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 this week
- Boolean Network Modeling☆40Updated 5 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated last month
- ☆22Updated last year
- An R meta-package for the analysis of Next Generation Sequencing data☆26Updated last week
- A library to build and execute typed scientific workflows☆48Updated last week
- A semantically unified SQL and NoSQL query and update system☆18Updated 6 years ago
- Relative data structures based on the BWT☆12Updated 7 years ago
- experimental computational medium and supporting tools☆23Updated this week
- Workflows written in common workflow language (CWL)☆14Updated 6 years ago
- PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.☆50Updated 11 months ago
- GNU-Make-like utility for managing builds and complex workflows☆109Updated last year
- Temporal Pathway Synthesizer☆17Updated last year
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- Yet Another Motif Discovery Algorithm☆53Updated 6 years ago
- toolkit for the manipulation and analysis of Logical Qualitative Models of biological regulatory networks☆19Updated last month
- Probabilistic HLA typing☆35Updated 6 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Updated 2 years ago
- linear genetic programming system for symbolic regression and classification.☆35Updated 8 years ago
- Personalized cancer epitope discovery and peptide vaccine prediction pipeline☆30Updated 7 years ago
- My personal dot files☆10Updated 3 years ago
- deep learning for math☆28Updated 6 years ago
- A command line tool that uses a Boolean calculus of calendars for computing availability (currently supports Google Calendar API)☆25Updated 3 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Updated 5 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 2 months ago