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

Dijkstra monads and effect observations

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

bibtex-sw-entry

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

Utility scripts for MWEs.

Guix Jupyter kernel

releases of the official openwind

The web interface for searching grew patterns in corpora

Python library for manipulating trees and DAG reduction of trees

A library to build experimental frameworks on multiple platforms

A library to build experimental frameworks on multiple platforms

A library to build experimental frameworks on multiple platforms

Towards a lightweight ParaView alternative.

A set of commonly used widgets written using Qt5.