sybila's repositories
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
biodivine-aeon-server
Aeon boolean network analyser server service
pithya-gui
R based GUI for biodivine
galaxytools
Set of Galaxy tool wrappers developed at Sybila
biodivine-aeon-sketchbook
AEON Sketchbook is a multi-platform application for designing and analysing large-scale logical models.
biodivine-bn-classifier
Desktop app for classification of partially specified Boolean networks based on HCTL properties.
biodivine-hctl-model-checker
Symbolic HCTL model checker for Boolean networks
biodivine-lib-logical-models
[Work in progress] A Rust library for working with logical models (Boolean/multi-valued networks) in systems biology.
biodivine-lib-sbml
A Rust library for managing SBML files.
bn-ck-analysis
Scripts for control kernels analysis extending the one of https://www.nature.com/articles/s41467-021-25533-3
boolean-network-sketches
A small library for logical model inference using Boolean network sketches.
cmp-frontend
React client application for Comprehensive Modelling Platform.