Explore projects
-
The Clean platform is a collection of multi-platform general purpose libraries for Clean.
Updated -
-
Files belonging to submission 35 for NFM'21
Updated -
q-GRID is a method to calculate lattice and intermolecular interaction energies for molecular crystals from electron densities obtained within the crystalline environment.
Updated -
Updated
-
Updated
-
Archived 1Updated
-
Archived 0Updated
-
This project has been moved to GitLab.com.
Archived 0Updated -
Jonathan Moerman / asm3-why3-plugin
GNU Lesser General Public License v2.1 onlyAssembly DSL for why3
Updated -
Updated
-
-
Updated
-
Edoardo Putti / incorrectness
BSD 3-Clause "New" or "Revised" LicenseUpdated -
mTask / MQTTClient
BSD 2-Clause "Simplified" LicenseMQTTClient implementation for iTasks using WolfMQTT
Updated -
-
IRMA / Github mirrors / irmago
Apache License 2.0Updated