This repo contains a snowball-stemmer for the german language.
The similarity between the documents and the query is calculated with the cosine-similarity.
Samba Password Client - change your password on fileserver
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Generate parsers using SableCC as part of a Gradle build
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
The ProB Model Checker and Animator Plugin for Rodin