Explore projects
-
Valentin HONORE / Stochastic Application Profiling
GNU General Public License v2.0 or laterAll details to fully reproduce the results in Section II, III and IV.B) of paper "Profile of Upcoming HPC Applications and their Impact on Reservation Strategies"
Updated -
Regular program verification / Timbuk / ocaml
GNU Lesser General Public License v2.1 onlyAn OCaml toplevel build with Timbuk.
Updated -
Maurice Bremond / guix
GNU General Public License v3.0 onlyUpdated -
Updated
-
Frédéric Blanqui / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
AIDEme / AIDEme
Mozilla Public License 2.0This repository contains the Python version of our explore-by-example data exploration system.
Updated -
Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.
Updated -
Relativistic zero-knowledge Stern protocol for Syndrome Decoding.
Updated -
POTTIER Francois / arrays
GNU General Public License v3.0 or laterImmutable arrays and mutability-polymorphic arrays for OCaml.
Updated -
An experiment to test the reproducibility of Emacs' org-mode PDF and HTML export
Updated -
CHARGUERAUD Arthur / cfml
X11 License Distribution Modification VariantUpdated -
CAILLAUD Benoît / Demodocos
CeCILL-C Free Software License AgreementThis project is the transfer from Inria's George of the flipflop/demodocos software developed by Benoît Caillaud and Aurélien Lamercerie. Only major releases have been transferred to this project, and intermediate commits have been squashed.
Updated -
Updated
-
Updated
-
-
A formally verified bootloader for RIOT OS (arm version)
Updated -
PEPPER / riot-demo-apps
GNU Lesser General Public License v2.1 onlyA repo for centralizing reference demos around BLE and UWB proximity tracing.
Updated -