Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
piper / application
PIPER application
3updated -
1updated -
Lifeware / biocham
Biocham-4 sources and CI
-
solverstack / Chameleon
Dense linear algebra subroutines for heterogeneous and distributed architectures
-
OCSR / ChAOS
Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.
0updated -
8updated
-
0updated
-
dtk / dtk
dtk is a meta-platform for modular scientific platform development.
2updated -
discovery / enoslib
A framework to build experimental frameworks on various platforms
-
solverstack / genfem
Generate finite element matrices in python
1updated -
MARIJON Pierre / KNOT
KNOT: Knowledge Network Overlap exTraction is a tool for the investigation of fragmented long read assemblies.
0updated -
DUFOUR Quentin / multisource-gossip-network-coding
Network Coding + Gossip
0updated -
batsim / pybatsim
Python Schedulers for Batsim
4updated -
SPAENLEHAUER Pierre-Jean / tinygb
Tools for computing Gröbner bases
0updated -
vidjil / vidjil
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
-
Why3 / why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
