Explore projects
-
Updated
-
Le Nue Marc / xv6-riscv-tp
MIT LicenseUpdated -
Le Boucher D'Herouville Foucauld / xv6-riscv-tp
MIT LicenseUpdated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
UpdatedUpdated
-
Updated
-
MICS_Biomathematics / bioinfo / VariantAnnotator
BSD 2-Clause "Simplified" LicenseBiotool for annotating variants using VEP and/or VCF2MAF. Input are VCF files, output are MAF files.
Updated -
-
Updated
-
-
Ceci est le squelette du TP de compilation pour les InfoSec.
Updated -
A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".
Updated -
Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)
Updated -
Armillon Damien / xv6-riscv-tp
MIT LicenseUpdated -
Git repository containing two projects from eclipse workspace and the slides from the presentation
Updated -
Leglaive Simon / ICASSP-2020-SE-RVAE
GNU Affero General Public License v3.0Updated -
Cabaret Laurent / CPU-GPU-kmeans
CeCILL-C Free Software License AgreementOptimized parallel implementations of the k-means algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU
Updated -
This repository contains the project prepared by entaraleSupelec students on dynamic modeling of two rooms in the campus Rennes. The building is represented by an RC model; it contains real historical weather data and model occupancy of the rooms.
Updated