Skip to content

@sybila sybila

Change the repository type filter

All

    Repositories list

    83 repositories

    • biodivine-lib-smt

      Public
      Work in progress: Encoding and data representation library for working with partially specified BNs in SMT.
      MIT License
      •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • GENELink

      Public
      Sybila implementation of GENELink
      Python
      •12•0•0•0•Updated Oct 26, 2025Oct 26, 2025

    • DeepGRNCS

      Public
      Sybila implementation of DeepGRNCS, enhanced with support for setting random seed.
      Python
      •1•0•0•0•Updated Oct 23, 2025Oct 23, 2025

    • biodivine-sketchbook

      Public
      Sketchbook is a multi-platform application for designing and analysing Boolean models.
      Rust
      •
      MIT License
      •3•0•28•0•Updated Oct 21, 2025Oct 21, 2025

    • biodivine-aeon-react

      Public
      JavaScript
      •
      MIT License
      •0•0•1•0•Updated Oct 20, 2025Oct 20, 2025

    • github-workflows

      Public
      An internal repository for storing the most up-to-date Github Actions workflows that are commonly used across our repositories.
      MIT License
      •0•0•0•0•Updated Oct 4, 2025Oct 4, 2025

    • biodivine-ui-components

      Public
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2025Oct 1, 2025

    • biodivine-aeon-py

      Public
      Jupyter Notebook
      •
      MIT License
      •2•7•9•3•Updated Sep 26, 2025Sep 26, 2025

    • biodivine-lib-algo-scc

      Public
      Rust
      •0•0•4•1•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-lib-io-bma

      Public
      Rust library for working with models in BMA format.
      Rust
      •
      MIT License
      •0•0•0•0•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-lib-bdd

      Public
      A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
      Rust
      •
      MIT License
      •4•23•11•0•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-lib-param-bn

      Public
      Rust library for working with parametrised Boolean networks.
      Rust
      •
      MIT License
      •3•2•20•2•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-hctl-model-checker

      Public
      Symbolic HCTL model checker for Boolean networks
      rustmodel-checkingboolean-network
      Rust
      •
      MIT License
      •0•0•3•0•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-pbn-control

      Public
      Jupyter Notebook
      •
      MIT License
      •0•0•1•0•Updated Sep 25, 2025Sep 25, 2025

    • biodivine-lib-sbml

      Public
      A Rust library for managing SBML files.
      Rust
      •
      MIT License
      •0•1•21•0•Updated Sep 10, 2025Sep 10, 2025

    • ruddy

      Public
      Ruddy is a minimalistic, high-performance BDD library for the Rust ecosystem.
      Rust
      •
      MIT License
      •0•2•12•0•Updated Jul 30, 2025Jul 30, 2025

    • biodivine-boolean-models

      Public
      A collection of 230+ Boolean networks from various sources useful for benchmarking or testing.
      TeX
      •3•13•73•0•Updated Jul 16, 2025Jul 16, 2025

    • biodivine-lib-xml-dom

      Public
      A simple library for representing XML DOMs with full support for XML namespaces.
      Rust
      •0•0•0•1•Updated Jun 28, 2025Jun 28, 2025

    • biodivine

      Public
      A toolset for manipulation, analysis and verification of biological models.
      HTML
      •0•2•1•0•Updated Jun 10, 2025Jun 10, 2025

    • biodivine-aeon-client

      Public
      JavaScript
      •1•2•22•0•Updated May 6, 2025May 6, 2025

    • biodivine-boolean-models-website

      Public
      TypeScript
      •0•0•26•0•Updated May 2, 2025May 2, 2025

    • biodivine-control-tool

      Public
      JavaScript
      •
      MIT License
      •1•0•0•0•Updated Apr 27, 2025Apr 27, 2025

    • boolean-network-sketches

      Public
      A small library for logical model inference using Boolean network sketches.
      Rust
      •
      MIT License
      •2•2•0•0•Updated Apr 20, 2025Apr 20, 2025

    • biodivine-xml-doc

      Public
      Rust xml tree parser to read, modify, and write xml
      Rust
      •
      Apache License 2.0
      •8•1•0•0•Updated Mar 8, 2025Mar 8, 2025

    • arboreto

      Public
      Internal fork for archival purposes.
      Jupyter Notebook
      •
      BSD 3-Clause "New" or "Revised" License
      •33•0•0•0•Updated Jan 9, 2025Jan 9, 2025

    • eBCSgen

      Public
      eBCSgen - BioChemical Space Language support tool.
      simulationmodelingsystems-biologyrule-based-modellingmechanistic-models
      JavaScript
      •
      MIT License
      •4•2•24•1•Updated Nov 25, 2024Nov 25, 2024

    • biodivine-aeon-server

      Public
      Aeon boolean network analyser server service
      Rust
      •
      MIT License
      •0•0•6•0•Updated Nov 19, 2024Nov 19, 2024

    • runbench

      Public
      Rust
      •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

    • biodivine-bn-classifier

      Public
      Desktop app for classification of partially specified Boolean networks based on HCTL properties.
      JavaScript
      •
      MIT License
      •0•0•3•0•Updated Jul 8, 2024Jul 8, 2024

    • biodivine-boolean-functions

      Public
      A WIP Rust library with Python PyO3 bindings for Boolean function manipulation.
      Rust
      •
      MIT License
      •0•0•8•0•Updated May 23, 2024May 23, 2024