Explore projects
-
Mpp / Mpp-PSE
GNU General Public License v3.0 onlyArchived 3Updated -
Archived 1Updated
-
-
mail / exim-encrypt-dlfunc
Apache License 2.0Loadable library function to encrypt strings in exim4.
Archived 0Updated -
ge3242 / crypto
BSD 3-Clause "New" or "Revised" LicenseArchived 0Updated -
Archived 0Updated
-
jk7683 / grk2450-vasp-tutorial
BSD 2-Clause "Simplified" LicenseHands-on tutorial on the Vienna Ab initio Simulation Package (VASP) for the PhD students in the graduate school GRK 2450
Archived 0Updated -
Modified CBMC with loop and recursion over approximation.
Archived 0Updated -
-
Seitosh / software-for-seismometry
GNU General Public License v3.0 onlySoftware for Seismometry by E. Wielandt (http://www.software-for-seismometry.de/)
Archived 0Updated -
Zwinkau / libfirm
GNU Lesser General Public License v2.1 onlyINOFFICIAL. Only for testing.
Archived 0Updated