sybila

Pinned Repositories

biodivine
A toolset for manipulation, analysis and verification of biological models.
Language:HTML2 6 20
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 1173
biodivine-lib-bdd
A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Language:Rust20 9 464
biodivine-lib-param-bn
Rust library for working with parametrised Boolean networks.
Language:Rust2 8 413
fi-muni-student-projects
2 2 00
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
NewBioDiVinE
New version of BioDiVinE-1.0 and parameter estimator PEPMC with piece-wise multi-affine abstraction algorithm and new light CLI
Language:C++2 5 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/presentation-template
Simple presentation template.
Language:TeX43 3 17
sybila/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
sybila/biodivine
A toolset for manipulation, analysis and verification of biological models.
Language:HTML2 6 20
sybila/controlPlayground
Let's have fun with control!
Language:Python1 8 4
sybila/ctl-model-checker
Language:Kotlin1 5 6
sybila/pithya-gui
R based GUI for biodivine
Language:R1 8 651
sybila/RegionSampling
Sampling of parameter function.
Language:Python1 8 4
sybila/tcp-bifurcation
Language:Kotlin1 3 0
sybila/BCSParser
Parser for BCS language
Language:C#0 7 00
sybila/bool-generator
State space generator for pithya working with boolean networks
Language:Kotlin00
sybila/cmp
Comprehensive Modelling Platform
00
sybila/terminal-components
A simple module for computing terminal components in parametrised graphs.
Language:Kotlin0 10 20
sybila/BCSLruleParser
Parser of BCSL rules
Language:C++10 0
sybila/biodivine-lib-std
Standard library of Rust BioDivine - contains traits for basic types like graphs or parametrised sets.
Language:Rust9 131
sybila/biodivine-model-toolkit
Libraries and utilities for defining and examining continuous, discrete and hybrid dynamical systems in a custom text format.
Language:Kotlin9 0
sybila/cmp-visualizer
Language:TypeScript8 0
sybila/CMSBnameTag
LaTeX template to quickly create beautiful name tags for collaboration meetings
Language:TeX8 0
sybila/copasiToODEs
Script for parsing readable ODEs from Copasi simulation file.
Language:Python
sybila/delta-abstraction
ODE abstraction based on delta-decision techniques.
Language:Kotlin
sybila/fieldplay
A vector field explorer
Language:JavaScript
sybila/hybrid-generator
Language:Kotlin8 0
sybila/json-ode-model
A Rust based parser and integrity checker for ODE models defined in JSON.
Language:Rust6 0
sybila/linear-approximator
Provides a simple way to compute linear approximations of non-linear funcitons
Language:Kotlin8 0
sybila/octaveToODEs
Script for parsing readable ODEs from Octave simulation source.
Language:Python
sybila/ode-generator
Language:Kotlin5 3
sybila/pithya_js
JS visualisations for Galaxy
Language:CSS7 26
sybila/RegionResults
Visualisation of DTMC parameter synthesis results.
Language:Python8 1
sybila/robustness_js
Robustness visualisation for parasim .tsv outputs (--csv option)
Language:CSS8 1
sybila/sybila.github.io
Sybila static github pages.
Language:JavaScript2 0
sybila/website
Language:HTML9 0