-
Heinrich-Heine-University
- Düsseldorf
-
b2program Public
READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH
-
-
HighwayEnv Public
Forked from Farama-Foundation/HighwayEnvA minimalist environment for decision-making in autonomous driving
Python MIT License UpdatedAug 28, 2024 -
-
-
-
-
-
stringtemplate4 Public
Forked from antlr/stringtemplate4StringTemplate 4
Java Other UpdatedJun 18, 2018 -
probparsers Public
Forked from bendisposto/probparsersProB Parser library
Java UpdatedMay 12, 2018 -
bmoth Public
Forked from bmoth-mc/bmothModel Checker for (a subset of) classical B based on Z3
Java MIT License UpdatedApr 10, 2018 -
box2dlights Public
Forked from libgdx/box2dlightsFork of box2dlights by Kalle Hamalainen
Java Apache License 2.0 UpdatedSep 28, 2017 -
EventBPacman-Plugin Public
Forked from heinzware/EventBPacman-PluginExample plugin for the prob2-ui repository
Java UpdatedAug 17, 2017 -
docker-opengl Public
Forked from thewtex/docker-openglA docker image that supports rendering graphical applications.
Shell Apache License 2.0 UpdatedMay 12, 2017 -
prob Public
Forked from hhu-stups/prob-rodinpluginThe ProB Model Checker and Animator
Java UpdatedJan 2, 2017 -
compana16 Public
Forked from Ruediger-Braun/compana16Materialien zur Vorlesung "Computergestützte Mathematik zur Analysis" im WS 2016/17
Jupyter Notebook GNU General Public License v3.0 UpdatedDec 22, 2016 -
programmierpraktikum-abschlussprojekt-coastal Public
Forked from ProPra16/programmierpraktikum-abschlussprojekt-coastalprogrammierpraktikum-abschlussprojekt-coastal created by GitHub Classroom
Java Apache License 2.0 UpdatedJul 14, 2016 -
-
emojinius Public
Forked from stianeikeland/emojiniusWrite clojure code using emoji
Clojure Eclipse Public License 1.0 UpdatedFeb 14, 2014