Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

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

ProB Modelling Examples as Jupyter Notebooks.

Kodkod Wrapper for ProB

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

The ProB Model Checker and Animator Plugin for Rodin

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

Generate parsers using SableCC as part of a Gradle build

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

adds access to prob via vscode

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

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