Explore projects
-
Updated
-
-
-
Updated
-
Primary library for necro, and standard tools (parse, print and compil)
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.
Updated -
Updated
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Updated
-
-
Separation Logic with Characteristic Formulae Entirely within Coq
Updated -
An SQL querybuilder written in Python.
Updated -
-
Updated
-
Updated
-