Explore projects
-
-
MarTo / marto
GNU General Public License v2.0 or laterMarkov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation
Updated -
Spring / WP2_Mapping_Localization / orb_slam4depthcomp
GNU General Public License v3.0 onlyModifications to orb slam to use with depth completion
Updated -
-
Secure implementation of the cryptographic operation involved in SAE(-PT)
Updated -
-
Updated
-
SILVA VASCONCELOS Miguel / Custom_simgrid_3.31
GNU Lesser General Public License v2.1 onlyCopy of simgrid (www.simgrid.org) with code to consume energy while migrating a VM
Updated -
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
InBio / Public / ReacSight
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Enseignement ENSTA Paris - Cours SIM203 - Initiation au calcul haute performance [2021-2022]
Updated -
Updated
-
CIRROTTOLA Luca / xmesh
GNU General Public License v3.0 onlyUpdated -
Updated
-
Jonàs Martínez / auxeticgrowthprocess2d
GNU Affero General Public License v3.0Code and data of the article "Random Auxetic Porous Materials from Parametric Growth Processes"
Updated -
Project for implementation of Hedman et al. '18 and Hedman et al '16.
Updated -
GATB / gatb-mindthegap
GNU Affero General Public License v3.0Updated