GitLab

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

Note : La publication de l'intégralité du code source de l’application mobile sous Android fait apparaitre des écrans et des textes qui évolueront au cours des jours qui viennent, en amont de tout déploiement éventuel (cd accueil/ README.md)

A Unified Runtime System for Heterogeneous Multicore Architectures

MRF stands for Malia Rendering Framework, an open source library for predictive, physically-realistic rendering. It comes with several applications, including a spectral path tracer, RGB-to-spectral conversion routines

Biocham-4 sources and CI

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

Dense linear algebra subroutines for heterogeneous and distributed architectures

The web interface for searching grew patterns in corpora

In Situ Processing and Analytics Framework

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

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

Ocsigen based web-server for interaction with Arborator

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

Juptyter notebooks for use cases using solvers of the nutopy toolbox