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.

TBA

This repo contains a snowball-stemmer for the german language. The similarity between the documents and the query is calculated with the cosine-similarity.