A vanilia neural network for our statistic project at ENS rennes

Nix expressions for the datamove team

Batsim C++ scheduling algorithms

A program in charge of managing one Batsim simulation.

Quotient summary, version of March 2018

Search some path between two read in gfa graph

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

Dense linear algebra subroutines for heterogeneous and distributed architectures

SParse Matrix Package

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.

Treerecs is a program which corrects gene trees taking informations from a given rooted species tree.

conda recipes for building dtk, dtk layers and plugins

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

Dense linear algebra subroutines for heterogeneous and distributed architectures

Instruction for repetition of analysis for paper "Assembly graph analysis of fragmented long-read bacterial genome assemblies".

Biocham-4 sources and CI

An LR(1) parser generator for OCaml.