Explore projects
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
-
Updated
-
Gathers technical materials to follow on what has been learnt and what is to be learnt
Updated -
Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.
Updated -
-
-
synchrone / Heptagon
GNU General Public License v3.0 onlyHeptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
Updated -
-
Containerized documentation of customer environments
Updated -
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
-
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Updated
-
Updated