Explore projects
-
-
Updated
-
sed-saclay / Cppyy Kernel
BSD 3-Clause "New" or "Revised" LicenseUpdated -
GILLES Sebastien / Cppyy Kernel
BSD 3-Clause "New" or "Revised" LicenseUpdated -
POLI Christian / Cppyy Kernel
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
LISITO Alycia / Guix-HPC
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Updated -
-
ScimBa / ScimBa
MIT LicenseUpdated -
The ROS package assorti to the Animat Unity simulation.
Updated -
Updated -
Updated
-
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
Updated
-
-
Updated
-
