Explore projects

A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

LaTeX-Vorlage für Bachelor und Masterarbeiten.

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

Modified version of the TLA+ tools for usage in ProB

TBA

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

SBML (Systems Biology Markup Language) integration in sybil

Gurobi support for sybil

sybil - Efficient Constrained Based Modelling in R