Explore projects

https://rt-santenum.gitlabpages.inria.fr

https://rt-santenum.gitlabpages.inria.fr/guix-workshop

Automatic vectorization with a greedy algorithm.

CompCertSSA 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.

Sollya is a tool environment for safe floating-point code development. It is particularily targeted to the automatized implementation of libms. Amongst other features, it offers a certified infinite norm and a fast Remez algorithm.

Webpage

forked from tailscale/golink

Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.

Simulation of dynamical models of physiological systems