Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
0updated
-
dtk / dtk
dtk is a meta-platform for modular scientific platform development.
0updated -
BOUTAFA Mehdi / interfaces
projets interfaces Talend
0updated -
PIETRIGA Emmanuel / LODAtlas
Browsing Linked Data Catalogs
1updated -
BELCOUR Arnaud / mpwt
Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).
0updated -
cedar / quotientSummary
Quotient summary, version of March 2018
0updated -
piy / piy
django serveur pour piy
1updated -
batsim / batexpe
A program in charge of managing one Batsim simulation.
-
Why3 / why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
CHARGUERAUD Arthur / tlc Developer
3updated -
piper / application
PIPER application
3updated -
solverstack / ScalFMM
N-body simulation using kernel independent Fast Multipole Method
-
POTTIER Francois / menhir
An LR(1) parser generator for OCaml.
1updated -
EYRAUD-DUBOIS Lionel / pmtool
Post-mortem analysis tool for StarPU scheduling studies
2updated -
patate / patate
The C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.
0updated -
solverstack / maphys / maphys
The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.
-
solverstack / morse_cmake
Collection of CMake modules that can be shared among projects
-
solverstack / Chameleon
Dense linear algebra subroutines for heterogeneous and distributed architectures
