Explore projects

🐸

This platform gives tools to manipulate Sanskrit data

Primary library for necro, and standard tools (parse, print and compil)

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

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

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.

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Algorithms for computing the hyperbolicity of graphs

Separation Logic with Characteristic Formulae Entirely within Coq

An SQL querybuilder written in Python.

Python API and schedulers for Batsim

An LR(1) parser generator for OCaml.