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

Towards a lightweight ParaView alternative.

Intrinsics as template - is a basic library to use vectorization easily in C++ thanks to template and Intrinsics (X86 SSE/AVX/AVX512, PowerPC ALTIVEC, ARM SVE)

Python library for manipulating trees and DAG reduction of trees

Quickly deploy a monitored Kubernetes cluster on Grid'5000

OCaml library for channel redirection

Matlab Super-ray package

CaSQ: Celldesigner as Sbml-Qual

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

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

Website of the Synalp research team of LORIA laboratory

Metagrammar of Middle and Old French