Separation Logic with Characteristic Formulae Entirely within Coq

Efficiently answering regular path queries on very large graphs, by guiding the search through distances in an embedding of the graph. This embedding is precomputed in quasi-linear time and space, independently of the regular query.

Utility scripts for MWEs.

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Material for developer meetups

This pipeline modelised the metabolic/regulatory network using different kind of tools like FlexFlux, Caspo and R. All the pipeline is linked with a shell script and implementation of supplementary module mandatory are in Python3.

Python version of Skelton project

Mirror of eigen for CI, nightly builds, code analysis, etc.

Mirror of eigen for CI, nightly builds, code analysis, etc.

The blog about A||Go project.

dtkCore provides fundamental tools to build modular platform.

Frontend for shex-java.

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

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

Scripts for measure equipments (scopes, tables ...).

Fork de https://github.com/Inria-Asclepios/medInria-public