Explore projects

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

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

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

Shallow Water Equation Environment for Tests, Awesome!

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Official repository for the CROCO model

A drone simulator using Gazebo and ROS.

Rematerialize Optimally with pyTORch

XLiFE++ is an extended finite element library developed in C++

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Newton direct and Inverse Computation for Equilibrium

Doxygen doc https://blfauger.gitlabpages.inria.fr/nice