Yet Another Chimeric Read Detector

Biocham-4 sources and CI

The Coq library that accompanies the Menhir parser generator.

A set of commonly used widgets written using Qt5.

Towards a lightweight ParaView alternative.

Test command-line applications through .should files

Browsing Linked Data Catalogs

Quotient summary, version of March 2018

Sources of the Abstract Categorial Development toolkit.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

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

Deep learning for Hyperspectral imagery.

PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

An LR(1) parser generator for OCaml.