Explore projects
-
Chatbot-like interface for semantic search across FAQ for the Master's programme "AI & Data Science"
https://www.heicad.hhu.de/lehre/masters-programme-ai-and-data-science/hainrich
Updated -
Updated
-
Updated
-
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
Updated
-
Updated
-
-
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated -
Updated
-
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
-
Updated
-
Updated
-
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
Generate parsers using SableCC as part of a Gradle build
Updated