Explore projects

A project investigating the invertability of random matrices over a finite field.

test

Implementation of bigraphs in Coq.

Library for performing acoustic beamforming from signal obtained with an array of microphones.

[ISAE-SUPAERO] - Mission Analysis

User version - v1.0 - CS-Group

Tool dedicated to preliminary Space Mission Analysis

(Orbit definition, surface coverage, visibility windows, eclipse calculation, etc.)

Our fork of Frama-C.