Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
LUXEY Adrien / cyclon-test
Pipeline to practically evaluate Cyclon (https://gitlab.inria.fr/aluxey/gossip/tree/master/cyclon) using Docker (and Python to drive it).
0updated -
0updated
-
dtk / dtk
dtk is a meta-platform for modular scientific platform development.
1updated -
vidjil / should
Test command-line applications through .should files
-
PIETRIGA Emmanuel / LODAtlas
Browsing Linked Data Catalogs
1updated -
cedar / quotientSummary
Quotient summary, version of March 2018
0updated -
solverstack / spm
SParse Matrix Package
-
0updated
-
Why3 / why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
piper / application
PIPER application
3updated -
solverstack / ScalFMM
N-body simulation using kernel independent Fast Multipole Method
4updated -
POTTIER Francois / menhir
An LR(1) parser generator for OCaml.
2updated -
EYRAUD-DUBOIS Lionel / pmtool
Post-mortem analysis tool for StarPU scheduling studies
2updated -
0updated
-
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 -
grew / grew_match
The web interface for searching grew patterns in corpora
0updated -
solverstack / PaStiX
Parallel Sparse direct Solver
-
solverstack / morse_cmake
Collection of CMake modules that can be shared among projects
