Explore projects
-
Updated
-
Document my experiments with running Dune inside Docker containers.
This aims for a) Automated Testing in different environments b) Providing one touch fully setup Dune installations
This is set up for automated builds through docker hub.
Updated -
Updated
-
A python package that facilitates the configuration of a buildbot master for automated system and unit testing dune modules
Archived 1Updated -
General purpose infrastructure for dune modules that provide python packages.
Archived 1Updated -
A super repository for easy installation of the course material for the joint workshop between CIIT Islamabad and IWR Heidelberg.
Updated -
Updated
-
Updated
-
-
-
-
-
-
Updated
-
-
-
-