Explore projects
-
-
-
Updated
-
TakTuk / taktuk
GNU General Public License v2.0 or laterUpdated -
MarTo / marto
GNU General Public License v2.0 or laterMarkov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation
Updated -
Mirror of the bronstein-codes repository formerly hosted at https://gforge.inria.fr/projects/bronstein-codes/. Inria released Manuel Bronstein's software under the CeCILL 2 license in 2013 (announcement: https://doi.org/10.1145/2503697.2503701).
Updated -
monitoring / Decent
GNU General Public License v2.0 or laterUpdated -
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 -
Updated
-
PoC of our cache attack on hostapd, exploiting a side-channel in OpenSSL's point decompression
Updated -
Updated
-
LECHENET Jean-Christophe / compcertssa
GNU Lesser General Public License v2.1 onlyCompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.
Updated -
CS^2: Continuum Silecs/SimGrid
Repo to save some internal stuff, such as journal.
Updated -
Analyse the stack of a Menhir-generated LR parser using regular expressions.
Updated -
Updated
-
Jean-Philippe EISENBARTH / Crawleth
MIT LicenseUpdated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated