Skip to content
@sybila

sybila

Popular repositories Loading

  1. presentation-template presentation-template Public

    Simple presentation template.

    TeX 52 6

  2. biodivine-lib-bdd biodivine-lib-bdd Public

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

    Rust 27 5

  3. biodivine-boolean-models biodivine-boolean-models Public

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

    TeX 24 3

  4. biodivine-aeon-py biodivine-aeon-py Public

    Jupyter Notebook 7 3

  5. ruddy ruddy Public

    Ruddy is a minimalistic, high-performance BDD library for the Rust ecosystem.

    Rust 7

  6. huctl huctl Public

    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.

    Kotlin 4

Repositories

Showing 10 of 92 repositories
  • biodivine-aeon-react Public
    sybila/biodivine-aeon-react's past year of commit activity
    TypeScript 0 MIT 0 5 0 Updated Oct 19, 2026
  • biodivine Public

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

    sybila/biodivine's past year of commit activity
    Python 2 0 0 0 Updated Oct 19, 2026
  • biodivine-lib-sbml Public

    A Rust library for managing SBML files.

    sybila/biodivine-lib-sbml's past year of commit activity
    Rust 2 MIT 0 21 (1 issue needs help) 0 Updated Oct 19, 2026
  • biodivine-lib-xml-dom Public

    A simple library for representing XML DOMs with full support for XML namespaces.

    sybila/biodivine-lib-xml-dom's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Oct 19, 2026
  • biodivine-py Public

    Internal Python module which aggregates all PyO3 Rust bindings from the biodivine project.

    sybila/biodivine-py's past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 15, 2026
  • github-workflows Public

    An internal repository for storing the most up-to-date Github Actions workflows that are commonly used across our repositories.

    sybila/github-workflows's past year of commit activity
    0 MIT 0 0 0 Updated Oct 14, 2026
  • biodivine-sketchbook Public

    Sketchbook is a multi-platform application for designing and analysing Boolean models.

    sybila/biodivine-sketchbook's past year of commit activity
    Rust 1 MIT 3 30 1 Updated Sep 17, 2026
  • biodivine-bn-classifier Public

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

    sybila/biodivine-bn-classifier's past year of commit activity
    JavaScript 0 MIT 0 1 0 Updated Sep 7, 2026
  • biodivine-ui-components Public
    sybila/biodivine-ui-components's past year of commit activity
    TypeScript 0 MIT 0 0 1 Updated Sep 1, 2026
  • biodivine-algo-smt-inference Public

    Work in progress: Encoding and data representation library for working with partially specified BNs in SMT.

    sybila/biodivine-algo-smt-inference's past year of commit activity
    Rust 0 MIT 1 1 0 Updated Aug 15, 2026
View all repositories