Explore projects
-
This tutorial is given within NHR and includes an introduction to High Performance Computing (HPC) using Python.
Archived 4Updated -
Mpp / Mpp-PSE
GNU General Public License v3.0 onlyArchived 3Updated -
Mpp / MLUQ
GNU General Public License v3.0 onlyArchived 2Updated -
Archived 1Updated
-
dG-Maxwell / TiMaxdG
GNU Lesser General Public License v2.1 onlyArchived 1Updated -
Mpp / CardMech
GNU General Public License v3.0 or laterArchived 1Updated -
-
Archived 0Updated
-
Exploration of approaches for the parallelization of the summary edge computation in large PDGs
Archived 0Updated -
Mpp / dgwave
GNU General Public License v3.0 onlyArchived 0Updated -
Archived 0Updated
-
Archived 0Updated
-
-
Zwinkau / libfirm
GNU Lesser General Public License v2.1 onlyINOFFICIAL. Only for testing.
Archived 0Updated -
Mpp / SolidMech
GNU General Public License v3.0 or laterArchived 0Updated -
Modified CBMC with loop and recursion over approximation.
Archived 0Updated