Explore projects
-
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
-
corhpex / CORHPEX
Apache License 2.0Updated -
melissa / Melissa
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
Updated
-
-
Updated
-
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Updated
-
-
An unstructured collection of Jasmin programs, of unknown quality, meant for illustration.
Updated -
-
Updated