Explore projects

Modified version of the TLA+ tools for usage in ProB

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

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

A Java-based Jupyter kernel for ProB 2

Logstash Elasticsearch Kibana

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