diff --git a/oomph-check/.project b/oomph-check/.project
new file mode 100644
index 0000000..7cc8bef
--- /dev/null
+++ b/oomph-check/.project
@@ -0,0 +1,11 @@
+
+
+ oomph-setups
+
+
+
+
+
+
+
+
diff --git a/oomph-check/DBT-RISE-RISCV.setup b/oomph-check/DBT-RISE-RISCV.setup
new file mode 100644
index 0000000..55cb165
--- /dev/null
+++ b/oomph-check/DBT-RISE-RISCV.setup
@@ -0,0 +1,225 @@
+
+
+
+
+ The user ID of the Github account
+
+
+ The author name used for Github commits
+
+
+ The email address associated with Github commits
+
+
+
+
+ form
+
+
+ https://github.com/session
+
+
+ PHPSESSID
+
+
+ login password authenticity_token utf8 commit
+
+
+ password
+
+
+ login=anonymous\&.*
+
+
+ $${github.user.id}
+
+
+ $${value}
+
+
+ ✓
+
+
+ Sign in
+
+
+ Valid password for $${form.parameter.login} at $${form.url}.
+
+
+ Validate the password for $${form.parameter.login} at $${form.url}.
+
+
+ Unable to validate the password for $${form.parameter.login} because $${form.url} is unreachable.
+
+
+ Invalid password for $${form.parameter.login} at $${form.url}.
+
+
+
+
+
+
+
+
+
+ Choose from the available Github URIs
+
+
+
+ Set the heap space needed to work with the projects of ${scope.project.label}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Install the tools needed in the IDE to work with the source code for ${scope.project.label}
+
+
+
+
+ github.remoteURIs
+
+
+ ${scope.project.label} Git repository
+
+
+ remoteURI
+
+
+ ${scope.project.label}
+
+
+
+
+
+
+ DBT-RISE-RISCV provides cool stuff.
+
diff --git a/oomph-check/MINRES-CDT.setup b/oomph-check/MINRES-CDT.setup
new file mode 100644
index 0000000..0a519a4
--- /dev/null
+++ b/oomph-check/MINRES-CDT.setup
@@ -0,0 +1,880 @@
+
+
+
+
+ http://www.eclipse.org/downloads/images/cdt.png
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+ MINRES-CDT
+
+
+ minres-cdt
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ MINRES-CDT
+
+
+ minres-cdt
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ MINRES CDT provides the Eclipse CDT plus usefull extensions.
+
diff --git a/oomph-check/MINRES-Projects.setup b/oomph-check/MINRES-Projects.setup
new file mode 100644
index 0000000..13de02a
--- /dev/null
+++ b/oomph-check/MINRES-Projects.setup
@@ -0,0 +1,312 @@
+
+
+
+
+ https://avatars1.githubusercontent.com/u/22716562?s=200&v=4
+
+
+ https://github.com/
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Choose the compatibility level of the target platform
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Choose the compatibility level of the target platform for the modular API baseline
+
+
+
+
+
+
+
+
+ ${workspace.location|path}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ An API baseline based on the target platform named 'Modular API Baseline Target'
+
+
+
+
+ Define the JRE needed to compile and run the Java projects of ${scope.project.label}
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Set the heap space needed to work with the projects of ${scope.project.label}
+
+
+ Set the initial perspective to be C++ instead of Resources
+
+
+
+
+ github.remoteURIs
+
+
+ ${scope.project.label} Github repository
+
+
+ remoteURI
+
+
+ ${scope.project.label}
+
+
+
+
+
+
+ MINRES Projects provides cool projects.
+
diff --git a/oomph-check/MINRES-Tools.setup b/oomph-check/MINRES-Tools.setup
new file mode 100644
index 0000000..ded0e51
--- /dev/null
+++ b/oomph-check/MINRES-Tools.setup
@@ -0,0 +1,896 @@
+
+
+
+
+
+
+
+
+
+
+ http://www.eclipse.org/downloads/images/cdt.png
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+ MINRES-CDT
+
+
+ minres-cdt
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ MINRES-CDT
+
+
+ minres-cdt
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+ record
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ MINRES CDT provides the Eclipse CDT plus usefull extensions.
+
+ MINRES Tools provides cool products.
+