Explore projects

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

This platform gives tools to manipulate Sanskrit data

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

Comet is a pipelined RISC-V processor generated with HLS.

Mirror for CI/CD purposes only.

https://aviz.gitlabpages.inria.fr/swimflow/

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Speculative task-based runtime system

An unstructured collection of Jasmin programs, of unknown quality, meant for illustration.

Tapenade Automatic Differentiation Engine