Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The speculative specification for Alethe, a flexible format for SMT proofs.
-
Script analysing results from Simian (http://www.harukizaemon.com/simian/) xml file output in order to detect plagiarism between two projects. It will filter Simian results and remove all duplicated blocks that concern only one project.
-
Finite Element Analysis of bones loaded by muscle forces
-
Common scripts and config files
-
send data to zenodo from gitlab pipelines
-
-
Official GIGA bioinfo wiki (shared with users)
-
Finite Element tools for A&M
-
Public Data related to MOAMMM project
-
project used for testing gitlab REST API
-
2020 - Discontinuous Galerkin Method by Bob Vermeulen, Colin Stoquart and Charles Duchesne
-
Python training materials
-
An universal bidsificator of multi-modal datsets
-
Easyconfigs for the ULiège NIC5 cluster
-
-
Averaged oSCillated Earth NeuTrino flavours
-
Discrete Adjoint for Rapid Transonic Flows
-
-
Toolbox for analysis of airfoils and related data (polars, geometries, etc) with Matlab.