Explore projects
-
Open-Perform / drone_wifi_bridge
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Jerome Ferrari / WinKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
caseine / moodle-mod_vpl
GNU General Public License v3.0 onlyVirtual programming lab (version caseine).
Updated -
Updated
-
verimag / synchrone / lustre-V4-XX
CeCILL Free Software License Agreement v2.1Lustre v4 distribution
Updated -
nonsmooth / siconos
Apache License 2.0Updated -
tracing-llvm / llvm
Apache License 2.0Updated -
Updated
-
Updated
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
MODMED / modmedLog
BSD 3-Clause "New" or "Revised" LicenseC++ library to trace structured events and data from usual tracepoints
Updated -
ttk / spam
GNU General Public License v3.0 onlySoftware for Practical Analysis of Materials
Archived 3Updated -
Updated
-
maplurinum-anr / SST Elements
BSD 3-Clause "New" or "Revised" LicenseUpdated -
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
rheolef / rheolef
GNU General Public License v3.0 onlyUpdated -
Updated
