A layer featuring basic symbolic definition of multivariate polynomials together with differentation operations.

[CARBONE] Data Flow Graph analysis

A GUI for biseau

A project providing digital recognition of handwritten documents using machine learning techniques.

Library to parse PDB in rust

A framework to build experimental frameworks on various platforms

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

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

Biocham-4 sources and CI

The library

Helper classes written over Qt5 for beautiful user interfaces.

A set of commonly used widgets written using Qt5.

Towards a lightweight ParaView alternative.

Metagrammar of Middle and Old French

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