gitlab.inria.fr
solverstack/chameleon
Dense linear algebra subroutines for heterogeneous and distributed architectures
Last synced at: over 1 year ago - Stars: 14 - Forks: 27
guix-hpc/guix-hpc
Extensions of GNU Guix for high-performance computing.
Last synced at: over 1 year ago - Stars: 14 - Forks: 19
croco-ocean/croco
Official repository for the CROCO model
Last synced at: over 1 year ago - Stars: 13 - Forks: 9
starpu/starpu
A Unified Runtime System for Heterogeneous Multicore Architectures. More informations on https://starpu.gitlabpages.inria.fr/
Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 13
formations/cpp/gettingstartedwithmoderncpp
A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Last synced at: over 1 year ago - Stars: 10 - Forks: 7
gitlabci_gallery/intro
Some slides about the gitlabci gallery project
Last synced at: over 1 year ago - Stars: 9 - Forks: 0
why3/why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Last synced at: over 1 year ago - Stars: 8 - Forks: 10
magnet/declearn/declearn2
Declearn - a modular and extensible python framework for Federated Learning
Last synced at: over 1 year ago - Stars: 7 - Forks: 1
learninglab/serious-game/smartphone
https://learninglab.gitlabpages.inria.fr/serious-game/smartphone
Last synced at: over 1 year ago - Stars: 6 - Forks: 0
solverstack/pastix
Parallel Sparse Direct Solver
Last synced at: over 1 year ago - Stars: 6 - Forks: 6
discovery/enoslib
A library to build experimental frameworks on multiple platforms
Last synced at: over 1 year ago - Stars: 6 - Forks: 25
scotch/scotch
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 4
MoReFEM/CoreLibrary/MoReFEM
MoReFEM core library. This library also contains some simple Models to illustrate how to use it, and several integration tests.
Last synced at: over 1 year ago - Stars: 5 - Forks: 12
solverstack/morse_cmake
Collection of CMake modules that can be shared among projects
Last synced at: over 1 year ago - Stars: 4 - Forks: 12
gt-sw-citation/bibtex-sw-entry
bibtex-sw-entry
Last synced at: over 1 year ago - Stars: 4 - Forks: 0
felisce/felisce
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Last synced at: over 1 year ago - Stars: 4 - Forks: 1
skeletons/necro
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Last synced at: over 1 year ago - Stars: 4 - Forks: 0
fedbiomed/fedbiomed
**Fed-BioMed moved to [https://github.com/fedbiomed/fedbiomed](https://github.com/fedbiomed/fedbiomed)** A federated learning framework for empowering biomedical research
Last synced at: over 1 year ago - Stars: 4 - Forks: 0
flocq/flocq
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Last synced at: over 1 year ago - Stars: 4 - Forks: 5
solverstack/vite
ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.
Last synced at: over 1 year ago - Stars: 3 - Forks: 6
gt-lgbti/prenom-usage
Guide pratique prénom d'usage et civilité à Inria
Last synced at: over 1 year ago - Stars: 3 - Forks: 3
jrye/mlflow-extra
Utility scripts and a matching Python module for MLflow.
Last synced at: about 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
stopcovid19/accueil
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
Last synced at: over 1 year ago - Stars: 3 - Forks: 0
discovery/cheops
Generic service to manage geo-distributed resources
Last synced at: over 1 year ago - Stars: 3 - Forks: 0
elementaryx/elementaryx.gitlabpages.inria.fr
Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0
CORSE/iolb
IOLB tool that computes data movement complexity of an affine program
Last synced at: over 1 year ago - Stars: 3 - Forks: 0
gazelle/public/core/test-management
Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Last synced at: over 1 year ago - Stars: 3 - Forks: 0
learninglab/mooc-rr/mooc-rr-ressources
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
Last synced at: over 1 year ago - Stars: 3 - Forks: 3
belenios/belenios
Verifiable online voting system http://www.belenios.org
Last synced at: over 1 year ago - Stars: 3 - Forks: 7
formations/docker/handsondocker
An introduction level training course on Docker and Docker-compose.
Last synced at: over 1 year ago - Stars: 3 - Forks: 4
Phylophile/Treerecs
Treerecs is an open-source (species- and gene-) tree reconciliation software. It can correct, rearrange and (re-)root gene trees with regard to a given species tree. Please visit https://project.inria.fr/treerecs/ for more about Treerecs
Last synced at: over 1 year ago - Stars: 3 - Forks: 1
vidjil/vidjil
An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Last synced at: over 1 year ago - Stars: 3 - Forks: 2
learninglab/mooc-styleguide
Demo : https://learninglab.gitlabpages.inria.fr/mooc-styleguide/
Last synced at: over 1 year ago - Stars: 3 - Forks: 0
synchrone/heptagon
Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).
Last synced at: over 1 year ago - Stars: 3 - Forks: 1
E2Clab/e2clab
E2Clab enables the Computing Continuum vision by allowing reproducible experimental research on large-scale testbeds. It supports the complete experimental cycle across the Computing Continuum: deployment, analysis, and optimization.
Last synced at: over 1 year ago - Stars: 3 - Forks: 2
Loki/PolyphonyECS
An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model
Last synced at: over 1 year ago - Stars: 3 - Forks: 2
inria-ci/doc
User documentation of Inria's Continuous Integration services
Last synced at: over 1 year ago - Stars: 3 - Forks: 10
auctus-team/people/antunskuric/pycapacity
Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
abouchra/distributed_neural_networks
A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.
Last synced at: about 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
solverstack/distrib
SED support for https://gitlab.inria.fr/solverstack.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
druid-public/headwork
Headwork project
Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
cedar/connectionlens
ConnectionLens ingests heterogeneous data sources (JSON, XML, HTML, CSV, RDF, relational databases, text files, PDF) into a single, integrated graph. It stores these graphs and allows querying them using keywords, and connecting them through a GUI.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
pringot/wrapit
A general Docker wrapper to cap memory and cpu usage
Last synced at: about 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
gitlabci_gallery/testing/pytest-gitlab-reports
Gitlab test reports and coverage feature on a Python project using pytest. Keywords: python, test reports, coverage, pytest, gitlabci
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
stopcovid19/stopcovid-android
Code source de l'application mobile Android
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
sed-rennes/sharelatex/python-sharelatex
python client for sharelatex and a tool to manage a project between git and the web UI.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
miet/miet
An R package for specifying and extracting data frames ready for data analysis from populations of MR images.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
WIDE/mbrb-rs
Rust implementation of MBRB protocol described in https://arxiv.org/abs/2205.09992.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
kairos/gemocbackends/klightanimationbackendforgemoc
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
CORSE/palmed-webdemo
Demo website for Palmed. Intended to be publicly available.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
msimonin/g5k-flower-onboarding
Last synced at: about 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
stopcovid19/stopcovid-ios
Code source de l'application mobile iOS
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
pallas/pallas
Pallas is a scalable trace format for HPC applications.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
aviz/swimflow
https://aviz.gitlabpages.inria.fr/swimflow/
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
mosaic/treex
Python library for manipulating trees and DAG reduction of trees
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
uhaina1/uhaina
UHAINA is a new phase-resolving free surface wave model for coastal engineering problems. It is based on the most advanced and recent contributions in coastal modelling from the french institutes **BRGM**, **EPOC**, **IMAG**, **IMB**, and **INRIA**.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
simgrid/simgrid
SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
coast-team/mute/mute
a scalable collaborative document editor with CRDT, P2P and E2EE · [mute.loria.fr](https://mute.loria.fr/)
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
metapart/starpart
Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
gnomon/gnomon
Provide the gnomon core functionalities.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
cartolabe/cartolabe-visu
Web-based scalable visualization fo large document collections
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
sed-bso/heat
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
Last synced at: over 1 year ago - Stars: 2 - Forks: 13
astec/astec
Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
MoReFEM/ThirdPartyCompilationFactory
Convenient facilities to compile the third party libraries required by MoReFEM (either script or Dockerfiles might be used for that purpose).
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
dtk/dtk
dtk is a meta-platform for modular scientific platform development.
Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 2
xlifepp/xlifepp
XLiFE++ is an extended finite element library developed in C++
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
qparse/qparselib
Music transcription framework based on parsing for weighted regular tree grammars
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
magnet/CoRTeX
CoRTex is a LGPL-licensed Python library for Noun Phrase coreference resolution in natural language texts. The version corresponds to a new implementation of the legacy 'cortex' project. Main novelty is the support of the French language.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
cartolabe/cartolabe-data
Data Processing for Cartolabe
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
sed-nge/fidgi
Find Inventors and Discovery Game by Inria Unity "Game" in VR (oculus) for homo numericus exibition
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
scripta/escriptorium
A project providing digital recognition of handwritten documents using machine learning techniques.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
ACG/dev/ACGtk
Sources of the Abstract Categorial Development toolkit.
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
cado-nfs/cado-nfs
Cado-NFS, An Implementation of the Number Field Sieve Algorithm If you want to report bugs, or participate in cado-nfs development, read [this](https://sympa.inria.fr/sympa/arc/cado-nfs/2020-10/msg00006.html)
Last synced at: over 1 year ago - Stars: 2 - Forks: 1
guix-hpc/website
Web site of the Guix-HPC effort.
Last synced at: over 1 year ago - Stars: 2 - Forks: 0
coqinterval/interval
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Last synced at: over 1 year ago - Stars: 2 - Forks: 4
melissa/melissa-sa
Large Scale Sensitivity Analysis
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
learninglab/mooc-iot/mooc-iot-ressources
Répertoire pour stocker les ressources du MOOC qui seront directement mises en ligne sur FUN : contenus textuels et images. + Fichiers quiz non intégrés dans FUN depuis Gitlab https://learninglab.gitlabpages.inria.fr/mooc-iot/mooc-iot-ressources
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
RMOD/affiliation
In this repository, we keep the list of affiliations of each team member, as they should appear in papers and presentations
Last synced at: over 1 year ago - Stars: 2 - Forks: 0