Explore projects
-
Updated
-
Updated
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
Updated
-
Updated
-
-
general / stups / B Language Extension
Eclipse Public License 2.0adds access to prob via vscode
Updated -
general / stups / B Language Server
Eclipse Public License 2.0A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
Fabian Mersch / SimpleHTR
MIT LicenseHandwritten Text Recognition (HTR) system implemented with TensorFlow.
Updated -
Updated
-
general / dsml / emoUS-public
Apache License 2.0Updated -
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
Updated
-
general / stups / Prolog mlpack Library
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated