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 3 weeks ago
- A library to build and execute typed scientific workflows☆48Updated 9 months ago
- Workflows written in common workflow language (CWL)☆14Updated 6 years ago
- GNU-Make-like utility for managing builds and complex workflows☆109Updated last year
- A semantically unified SQL and NoSQL query and update system☆18Updated 6 years ago
- An R meta-package for the analysis of Next Generation Sequencing data☆26Updated this week
- Sequence classification in all-subsequence space☆11Updated 5 years ago
- ☆22Updated 11 months ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated last week
- Bioinformatics Ketrew Pipelines☆28Updated 3 years ago
- Boolean Network Modeling☆40Updated 5 years ago
- Probabilistic HLA typing☆35Updated 6 years ago
- PyBoolNet is a Python package for the generation, modification and analysis of Boolean networks.☆50Updated 10 months ago
- Personalized cancer epitope discovery and peptide vaccine prediction pipeline☆30Updated 7 years ago
- Keep Track of Experimental Workflows☆76Updated 7 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
- Discussion Seminar: Philosophy of Programming Lanugages☆14Updated 11 years ago
- Temporal Pathway Synthesizer☆17Updated last year
- 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
- experimental computational medium and supporting tools☆23Updated last month
- A command line tool that uses a Boolean calculus of calendars for computing availability (currently supports Google Calendar API)☆25Updated 3 years ago
- CANAlization: Control & Redundancy in Boolean Networks☆26Updated last week
- Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)☆61Updated last month
- Multilinear PageRank☆15Updated 8 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 3 weeks ago
- visJS2jupyter is a tool to bring the interactivity of networks created with vis.js into jupyter notebook cells☆78Updated 2 years ago
- ☆17Updated 8 years ago
- ☆41Updated 5 years ago