Skip to content
@sybila

sybila

Popular repositories Loading

  1. presentation-template presentation-template Public

    Simple presentation template.

    TeX 45 6

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

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

    Rust 20 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 5 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 5 MIT 2 9 2 Updated Mar 21, 2025
  • biodivine-control-tool Public
    sybila/biodivine-control-tool’s past year of commit activity
    JavaScript 0 MIT 1 0 0 Updated Mar 18, 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 2 18 0 Updated Mar 16, 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 Mar 16, 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 Mar 10, 2025
  • biodivine-xml-doc Public Forked from BlueGreenMagick/xml-doc

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

    sybila/biodivine-xml-doc’s past year of commit activity
    Rust 1 Apache-2.0 8 0 0 Updated Mar 8, 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 65 0 Updated Feb 27, 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 18 1 Updated Feb 14, 2025
  • arboreto Public Forked from aertslab/arboreto

    Internal fork for archival purposes.

    sybila/arboreto’s past year of commit activity
    Jupyter Notebook 0 BSD-3-Clause 32 0 0 Updated Jan 9, 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 20 MIT 4 14 0 Updated Dec 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…