Skip to content

@sybila sybila

Change the repository type filter

All

    Repositories list

    88 repositories

    • biodivine-bn-classifier

      Public
      Desktop app for classification of partially specified Boolean networks based on HCTL properties.
      JavaScript
      •
      MIT License
      •0•0•1•0•Updated Feb 6, 2026Feb 6, 2026

    • biodivine-algo-smt-inference

      Public
      Work in progress: Encoding and data representation library for working with partially specified BNs in SMT.
      Rust
      •
      MIT License
      •0•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • scKAN

      Public
      Kolmogorov-Arnold Network for Gene Regulatory Network Inference
      Python
      •
      MIT License
      •1•0•0•0•Updated Feb 1, 2026Feb 1, 2026

    • biodivine-aeon-server

      Public
      Aeon boolean network analyser server service
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jan 15, 2026Jan 15, 2026

    • biodivine-boolean-models-website

      Public
      TypeScript
      •0•0•26•0•Updated Jan 13, 2026Jan 13, 2026

    • biodivine-boolean-models

      Public
      A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.
      TeX
      •3•18•63•0•Updated Jan 13, 2026Jan 13, 2026

    • biodivine-sketchbook

      Public
      Sketchbook is a multi-platform application for designing and analysing Boolean models.
      Rust
      •
      MIT License
      •3•0•26•0•Updated Jan 11, 2026Jan 11, 2026

    • biodivine-lib-io-bma

      Public
      Rust library for working with models in BMA format.
      Rust
      •
      MIT License
      •0•0•1•0•Updated Jan 9, 2026Jan 9, 2026

    • biodivine-aeon-py

      Public
      Jupyter Notebook
      •
      MIT License
      •2•7•11•2•Updated Jan 9, 2026Jan 9, 2026

    • biodivine-lib-bdd

      Public
      A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
      Rust
      •
      MIT License
      •4•24•12•1•Updated Jan 8, 2026Jan 8, 2026

    • biodivine-lib-param-bn

      Public
      Rust library for working with parametrised Boolean networks.
      Rust
      •
      MIT License
      •3•2•20•2•Updated Jan 8, 2026Jan 8, 2026

    • biodivine-hctl-model-checker

      Public
      Symbolic HCTL model checker for Boolean networks
      rustmodel-checkingboolean-network
      Rust
      •
      MIT License
      •0•0•3•0•Updated Jan 8, 2026Jan 8, 2026

    • biodivine-aeon-react

      Public
      JavaScript
      •
      MIT License
      •0•0•3•0•Updated Jan 8, 2026Jan 8, 2026

    • biodivine-algo-bdd-scc

      Public
      Rust
      •
      MIT License
      •0•0•4•0•Updated Jan 7, 2026Jan 7, 2026

    • biodivine-pbn-control

      Public
      Jupyter Notebook
      •
      MIT License
      •0•0•1•0•Updated Dec 30, 2025Dec 30, 2025

    • biodivine-bass

      Public
      Work in progress
      Rust
      •
      MIT License
      •0•0•3•0•Updated Dec 18, 2025Dec 18, 2025

    • biodivine-ui-components

      Public
      TypeScript
      •
      MIT License
      •0•0•0•1•Updated Dec 14, 2025Dec 14, 2025

    • z3.rs

      Public
      Rust bindings for the Z3 solver.
      Rust
      •142•0•0•0•Updated Dec 11, 2025Dec 11, 2025

    • ruddy

      Public
      Ruddy is a minimalistic, high-performance BDD library for the Rust ecosystem.
      Rust
      •
      MIT License
      •0•5•14•0•Updated Dec 2, 2025Dec 2, 2025

    • DeepRIG

      Public
      A deep model infers gene regulation networks from scRNA-seq data. Forked for changing parameters given to the model.
      Python
      •
      Apache License 2.0
      •3•0•0•0•Updated Nov 17, 2025Nov 17, 2025

    • GENELink

      Public
      Sybila implementation of GENELink
      Python
      •11•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

    • 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-lib-sbml

      Public
      A Rust library for managing SBML files.
      Rust
      •
      MIT License
      •0•1•21•0•Updated Sep 10, 2025Sep 10, 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-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
      •7•1•0•0•Updated Mar 8, 2025Mar 8, 2025