sybila/biodivine-control-tool

Language: Python - Size: 2.18 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 1

sybila/biodivine-boolean-functions

Language: Rust - Size: 363 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0

sybila/casq-fork

Language: Python - Size: 2.9 MB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

sybila/biodivine-aeon-py

Language: Jupyter Notebook - Size: 4.18 MB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 5 - Forks: 1

sybila/biodivine-lib-sbml

A Rust library for managing SBML files.

Language: Rust - Size: 1000 KB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 1 - Forks: 0

sybila/biodivine-xml-doc Fork of BlueGreenMagick/xml-doc

Rust xml tree parser to read, modify, and write xml

Language: Rust - Size: 4.21 MB - Last synced: 22 days ago - Pushed: 23 days ago - Stars: 1 - Forks: 0

sybila/biodivine-bn-classifier

Desktop app for classification of partially specified Boolean networks based on HCTL properties.

Language: JavaScript - Size: 16.5 MB - Last synced: 25 days ago - Pushed: 26 days ago - Stars: 0 - Forks: 0

sybila/biodivine-lib-bdd

A small library for BDD manipulation in Rust. Part of the BioDivine toolset.

Language: Rust - Size: 2.22 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 16 - Forks: 4

sybila/eBCSgen

eBCSgen - BioChemical Space Language support tool.

Language: JavaScript - Size: 2.79 MB - Last synced: 29 days ago - Pushed: 29 days ago - Stars: 2 - Forks: 3

sybila/biodivine-pbn-control

Language: Jupyter Notebook - Size: 8.17 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

sybila/biodivine-aeon-sketchbook

AEON Sketchbook is a multi-platform application for designing and analysing large-scale logical models.

Language: Rust - Size: 1010 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

sybila/biodivine-lib-param-bn

Rust library for working with parametrised Boolean networks.

Language: Rust - Size: 2.56 MB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 2 - Forks: 2

sybila/presentation-template

Simple presentation template.

Language: TeX - Size: 5.89 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 37 - Forks: 7

sybila/biodivine-aeon-server

Aeon boolean network analyser server service

Language: Rust - Size: 24.9 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

sybila/biodivine-aeon-client

Language: JavaScript - Size: 10.6 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 1

sybila/biodivine-boolean-models

A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.

Language: TeX - Size: 16.8 MB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 10 - Forks: 1

sybila/biodivine-rn-database

Size: 66.4 KB - Last synced: about 2 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 1

sybila/biodivine-boolean-models-website

Language: TypeScript - Size: 1.99 MB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

sybila/biodivine-aeon-desktop

Language: JavaScript - Size: 20 MB - Last synced: about 2 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

sybila/biodivine-hctl-model-checker

Symbolic HCTL model checker for Boolean networks

Language: Rust - Size: 780 KB - Last synced: 3 days ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

sybila/LTL-editor

Graphical editor for visual specification of LTL properties based on time series.

Language: Java - Size: 727 KB - Last synced: about 2 months ago - Pushed: over 12 years ago - Stars: 1 - Forks: 1

sybila/biodivine-lib-logical-models

[Work in progress] A Rust library for working with logical models (Boolean/multi-valued networks) in systems biology.

Language: Rust - Size: 6.79 MB - Last synced: about 2 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

sybila/bn-ck-analysis 📦

Scripts for control kernels analysis extending the one of https://www.nature.com/articles/s41467-021-25533-3

Language: Python - Size: 9.29 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

sybila/boolean-network-sketches

A small library for logical model inference using Boolean network sketches.

Language: Rust - Size: 327 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

sybila/galaxytools

Set of Galaxy tool wrappers developed at Sybila

Language: TypeScript - Size: 110 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

sybila/pithya-core

Language: Kotlin - Size: 2.97 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

sybila/parasim

Tool for paralell simulations and verification

Language: Java - Size: 20.7 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 1

sybila/cmp-frontend

React client application for Comprehensive Modelling Platform.

Language: TypeScript - Size: 6.6 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 1

sybila/CMP-api

Language: PHP - Size: 2.56 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

sybila/cmp-service-api

Language: PHP - Size: 2.71 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

sybila/cmp-visualizer

Language: TypeScript - Size: 281 KB - Last synced: 5 days ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

sybila/biodivine

A toolset for manipulation, analysis and verification of biological models.

Language: HTML - Size: 188 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

sybila/pithya-gui

R based GUI for biodivine

Language: R - Size: 1.73 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 1

sybila/sybila.github.io

Sybila static github pages.

Language: JavaScript - Size: 1.04 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

sybila/biodivine-lib-std

Standard library of Rust BioDivine - contains traits for basic types like graphs or parametrised sets.

Language: Rust - Size: 155 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 1

sybila/cmp

Comprehensive Modelling Platform

Size: 13.6 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

sybila/tcp-bifurcation

Language: Kotlin - Size: 296 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

sybila/RegionSampling

Sampling of parameter function.

Language: Python - Size: 20.5 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

sybila/pithya_js

JS visualisations for Galaxy

Language: CSS - Size: 8.24 MB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

sybila/RegionResults

Visualisation of DTMC parameter synthesis results.

Language: Python - Size: 40 KB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

sybila/hybrid-generator

Language: Kotlin - Size: 25.5 MB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

sybila/controlPlayground

Let's have fun with control!

Language: Python - Size: 198 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

sybila/ode-generator

Language: Kotlin - Size: 17.3 MB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

sybila/ctl-model-checker

Language: Kotlin - Size: 757 KB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

sybila/robustness_js

Robustness visualisation for parasim .tsv outputs (--csv option)

Language: CSS - Size: 155 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

sybila/bool-generator

State space generator for pithya working with boolean networks

Language: Kotlin - Size: 246 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

sybila/cuda-simulation Fork of papousek/cuda-simulation

Language: Java - Size: 941 KB - Last synced: about 2 months ago - Pushed: about 13 years ago - Stars: 0 - Forks: 0

sybila/CMSBnameTag Fork of LSSTDESC/name-tag-guru

LaTeX template to quickly create beautiful name tags for collaboration meetings

Language: TeX - Size: 373 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

sybila/biodivine-model-toolkit

Libraries and utilities for defining and examining continuous, discrete and hybrid dynamical systems in a custom text format.

Language: Kotlin - Size: 135 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

sybila/BCSParser

Parser for BCS language

Language: C# - Size: 1.46 MB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

sybila/BCSLruleParser

Parser of BCSL rules

Language: C++ - Size: 37.1 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

sybila/terminal-components

A simple module for computing terminal components in parametrised graphs.

Language: Kotlin - Size: 4.26 MB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

sybila/linear-approximator

Provides a simple way to compute linear approximations of non-linear funcitons

Language: Kotlin - Size: 10.7 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

sybila/fieldplay Fork of anvaka/fieldplay

A vector field explorer

Language: JavaScript - Size: 1.24 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

sybila/delta-abstraction

ODE abstraction based on delta-decision techniques.

Language: Kotlin - Size: 555 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

sybila/copasiToODEs

Script for parsing readable ODEs from Copasi simulation file.

Language: Python - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

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: Kotlin - Size: 1.75 MB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 4 - Forks: 0

sybila/website

Language: HTML - Size: 4.76 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

sybila/octaveToODEs

Script for parsing readable ODEs from Octave simulation source.

Language: Python - Size: 4.88 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

sybila/json-ode-model

A Rust based parser and integrity checker for ODE models defined in JSON.

Language: Rust - Size: 48.8 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

sybila/Parsybone

Parameter Synthetizer for Boolean Networks

Language: C - Size: 77 MB - Last synced: about 2 months ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0

sybila/biodivineCTL

Language: C - Size: 14.2 MB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

sybila/Esther

Language: Java - Size: 32.9 MB - Last synced: about 2 months ago - Pushed: about 10 years ago - Stars: 1 - Forks: 0

sybila/BioDiVineModels

Examples of models and properties supported by biodivine ctl and ltl model checkers.

Size: 148 KB - Last synced: about 2 months ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

sybila/NewBioDiVinE

New version of BioDiVinE-1.0 and parameter estimator PEPMC with piece-wise multi-affine abstraction algorithm and new light CLI

Language: C++ - Size: 773 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 2 - Forks: 0

sybila/fi-muni-student-projects

Size: 1010 KB - Last synced: about 2 months ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

sybila/DiscreteModels

Discrete biological models and computed results

Language: Shell - Size: 19.2 MB - Last synced: about 2 months ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

sybila/BehaviourMapper

Language: C# - Size: 1.39 MB - Last synced: about 2 months ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0

sybila/maven-parent

Size: 133 KB - Last synced: about 2 months ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0

sybila/jcuda-maven

Size: 2.16 MB - Last synced: about 2 months ago - Pushed: over 12 years ago - Stars: 1 - Forks: 2

sybila/checkstyle

Size: 113 KB - Last synced: about 2 months ago - Pushed: over 11 years ago - Stars: 2 - Forks: 0