Biocham-4 sources and CI

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

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

A framework to build experimental frameworks on various platforms

An LR(1) parser generator for OCaml.

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

Yet Another Chimeric Read Detector

Dense linear algebra subroutines for heterogeneous and distributed architectures

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

Julia package for digital communication tools.

A set of commonly used widgets written using Qt5.

The blog about A||Go project.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.