Skip to content
@sybila

sybila

Popular repositories Loading

  1. presentation-template presentation-template Public

    Simple presentation template.

    TeX 47 6

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

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

    Rust 21 4

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

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

    TeX 12 3

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

    Jupyter Notebook 6 2

  5. 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

  6. parasim parasim Public

    Tool for paralell simulations and verification

    Java 3 1

Repositories

Showing 10 of 74 repositories
  • biodivine-aeon-py Public
    sybila/biodivine-aeon-py’s past year of commit activity
    Jupyter Notebook 6 MIT 2 9 2 Updated Apr 21, 2025
  • boolean-network-sketches Public

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

    sybila/boolean-network-sketches’s past year of commit activity
    Rust 1 MIT 2 0 0 Updated Apr 20, 2025
  • biodivine-lib-bma-data Public

    Rust library for working with models in BMA format.

    sybila/biodivine-lib-bma-data’s past year of commit activity
    Rust 0 MIT 0 0 0 Updated Apr 19, 2025
  • biodivine-boolean-models-website Public
    sybila/biodivine-boolean-models-website’s past year of commit activity
    TypeScript 0 0 27 (1 issue needs help) 0 Updated Apr 18, 2025
  • biodivine-lib-sbml Public

    A Rust library for managing SBML files.

    sybila/biodivine-lib-sbml’s past year of commit activity
    Rust 1 MIT 0 20 (1 issue needs help) 0 Updated Apr 15, 2025
  • biodivine-lib-param-bn Public

    Rust library for working with parametrised Boolean networks.

    sybila/biodivine-lib-param-bn’s past year of commit activity
    Rust 2 MIT 3 19 1 Updated Apr 11, 2025
  • biodivine-lib-bdd Public

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

    sybila/biodivine-lib-bdd’s past year of commit activity
    Rust 21 MIT 4 14 0 Updated Apr 11, 2025
  • biodivine-sketchbook Public

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

    sybila/biodivine-sketchbook’s past year of commit activity
    Rust 0 MIT 3 18 0 Updated Apr 11, 2025
  • biodivine-hctl-model-checker Public

    Symbolic HCTL model checker for Boolean networks

    sybila/biodivine-hctl-model-checker’s past year of commit activity
    Rust 0 MIT 0 3 0 Updated Apr 6, 2025
  • biodivine-boolean-models Public

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

    sybila/biodivine-boolean-models’s past year of commit activity
    TeX 12 3 66 0 Updated Mar 23, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…