GitLab

The OpenViBE extras: Acquisition Server, demos, plugin contributions

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

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

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

a source to source compiler enhancement tool

Compute the error made by approximating a given matrix with the QRTP algorithm.

INF555 repo

An LR(1) parser generator for OCaml.

A LLVM-based static analysis framework.

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.

Python library for manipulating trees and DAG reduction of trees

C++ Timer library (temporary repository).

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.