Explore GitLab
Discover projects, groups and snippets. Share your projects with others

mnemosyne / vanilla_nn
A vanilia neural network for our statistic project at ENS rennes
0updated 
REIS Valentin / datamovepkgs
Nix expressions for the datamove team
1updated 
batsim / batsched
Batsim C++ scheduling algorithms

1updated

batsim / batexpe
A program in charge of managing one Batsim simulation.
0updated 
cedar / quotientSummary
Quotient summary, version of March 2018
0updated 
0updated

MARIJON Pierre / path_in_gfa
Search some path between two read in gfa graph
0updated 
solverstack / vite
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 CeCILLA.
2updated 
0updated

PRUVOST Florent / Chameleon
Dense linear algebra subroutines for heterogeneous and distributed architectures

solverstack / spm
SParse Matrix Package

Flocq / flocq
Flocq (Floats for Coq) is a floatingpoint formalization for the Coq system. It provides a comprehensive library of theorems on a multiradix multiprecision arithmetic. It also supports efficient numerical computations inside Coq.
2updated 
Phylophile / Treerecs
Treerecs is a program which corrects gene trees taking informations from a given rooted species tree.

dtk / dtkcondarecipes
conda recipes for building dtk, dtk layers and plugins
0updated 
coq / wikibackup
Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour
0updated 
Philippe Virouleau / Chameleon
Dense linear algebra subroutines for heterogeneous and distributed architectures
0updated 
MARIJON Pierre / assembly_graph_analysis_of_fragmented_long_read_bacterial_genome_assemblies_repetition
Instruction for repetition of analysis for paper "Assembly graph analysis of fragmented longread bacterial genome assemblies".
0updated 
Lifeware / biocham
Biocham4 sources and CI

POTTIER Francois / menhir
An LR(1) parser generator for OCaml.
2updated