Full name Description Actions
vidjil Vidjil is an open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data.
http://www.vidjil [...]
Biocham v4 Biocham v4. Prolog.
Why3 Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated [...]
ODIN + Odin+ is a software framework for bioprocess control and supervision.
PapriK Tools to process and analyse DICOM files (+ RTStruct, RTDose, XML ROI ...) with Python.
AFF3CT AFF3CT is an Open-source software (MIT license) dedicated to the Forward Error Correction (FEC or channel coding) simulations. [...]
finite element equilibrium solver with Matlab Description of your software. Tools used to build and test your software.
KeOps KErnel OPerationS, on CPUs and GPUs, with autodiff and without memory overflows.