sybila

Pinned Repositories

biodivine-aeon-client
Language:JavaScript2 9 291
biodivine-aeon-py
Language:Jupyter Notebook5 9 221
biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
Language:TeX12 11 1133
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Language:Rust20 9 464
checkstyle
2 2 00
eBCSgen
eBCSgen - BioChemical Space Language support tool.
Language:JavaScript2 5 684
huctl
HUCTLp is a temporal logic (based on CTL) designed for analysis of dynamical systems. This repository provides a format for representing HUCTLp formulas as text and as JVM objects.
Language:Kotlin4 6 100
maven-parent
2 2 00
parasim
Tool for paralell simulations and verification
Language:Java3 6 1371
presentation-template
Simple presentation template.
Language:TeX43 3 17

sybila's Repositories

sybila/biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Language:Rust20 9 464
sybila/biodivine-boolean-models
A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
Language:TeX12 11 1133
sybila/biodivine-aeon-py
Language:Jupyter Notebook5 9 221
sybila/parasim
Tool for paralell simulations and verification
Language:Java3 6 1371
sybila/biodivine-aeon-client
Language:JavaScript2 9 291
sybila/biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
Language:Rust2 8 413
sybila/eBCSgen
eBCSgen - BioChemical Space Language support tool.
Language:JavaScript2 5 684
sybila/biodivine-aeon-server
Aeon boolean network analyser server service
Language:Rust1 9 7
sybila/biodivine-lib-sbml
A Rust library for managing SBML files.
Language:Rust1 11 150
sybila/biodivine-xml-doc
Rust xml tree parser to read, modify, and write xml
Language:Rust1 1 0
sybila/pithya-core
Language:Kotlin1 7 140
sybila/biodivine-aeon-sketchbook
SketchBook is a multi-platform application for designing and analysing large-scale logical models.
Language:Rust0 10 251
sybila/biodivine-bn-classifier
Desktop app for classification of partially specified Boolean networks based on HCTL properties.
Language:JavaScript0 11 100
sybila/biodivine-control-tool
Language:JavaScript0 11 01
sybila/biodivine-hctl-model-checker
Symbolic HCTL model checker for Boolean networks
Language:Rust0 11 90
sybila/CMP-api
Language:PHP0 9 120
sybila/cmp-frontend
React client application for Comprehensive Modelling Platform.
Language:TypeScript0 9 11
sybila/cmp-service-api
Language:PHP0 9 20
sybila/galaxytools
Set of Galaxy tool wrappers developed at Sybila
Language:TypeScript0 9 91
sybila/biodivine-aeon-desktop
Language:JavaScript12 11
sybila/biodivine-boolean-functions
A WIP Rust library with Python PyO3 bindings for Boolean function manipulation.
Language:Rust11 15
sybila/biodivine-boolean-models-website
Language:TypeScript10 29
sybila/biodivine-lib-bma-data
Rust library for working with models in BMA format.
Language:Rust
sybila/biodivine-lib-logical-models
[Work in progress] A Rust library for working with logical models (Boolean/multi-valued networks) in systems biology.
Language:Rust10 17
sybila/biodivine-pbn-control
Language:Jupyter Notebook7 1
sybila/biodivine-rn-database
Language:Python11 01
sybila/bn-ck-analysis
Scripts for control kernels analysis extending the one of https://www.nature.com/articles/s41467-021-25533-3
Language:Python9 0
sybila/boolean-network-sketches
A small library for logical model inference using Boolean network sketches.
Language:Rust10 01
sybila/casq-fork
Language:Python9 0
sybila/runbench
Language:Rust