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
discovery/enoslib
A library to build experimental frameworks on multiple platforms
Last synced at: over 1 year ago - Stars: 6 - Forks: 25
guix-hpc/guix-hpc
Extensions of GNU Guix for high-performance computing.
Last synced at: over 1 year ago - Stars: 14 - Forks: 19
formations/integrationcontinue/gitlabciworkshop
Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 15
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: about 2 years ago - Stars: 12 - Forks: 13
sed-rennes/formations/formation-ci-cd/fil-rouge
Last synced at: over 1 year ago - Stars: 0 - Forks: 13
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
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
inria-ci/doc
User documentation of Inria's Continuous Integration services
Last synced at: over 1 year ago - Stars: 3 - Forks: 10
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
croco-ocean/croco
Official repository for the CROCO model
Last synced at: over 1 year ago - Stars: 13 - Forks: 9
coquelicot/coquelicot
A Coq formalization of real analysis compatible with the standard library.
Last synced at: over 1 year ago - Stars: 2 - Forks: 9
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
belenios/belenios
Verifiable online voting system http://www.belenios.org
Last synced at: over 1 year ago - Stars: 3 - Forks: 7
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
solverstack/pastix
Parallel Sparse Direct Solver
Last synced at: over 1 year ago - Stars: 6 - Forks: 6
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
guix-hpc/guix-hpc-non-free
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Last synced at: over 1 year ago - Stars: 1 - Forks: 5
auctus-team/components/robots/panda/panda_qp_control
Last synced at: over 1 year ago - Stars: 0 - Forks: 5
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
scotch/scotch
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 4
OCSR/chaos
Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.
Last synced at: over 1 year ago - Stars: 0 - Forks: 4
sibr/sibr_core
SIBR = SIBR core + ULR application
Last synced at: over 1 year ago - Stars: 1 - Forks: 4
inria-ci/ci-cmdline
Command-line for `ci.inria.fr`.
Last synced at: over 1 year ago - Stars: 1 - Forks: 4
formations/docker/handsondocker
An introduction level training course on Docker and Docker-compose.
Last synced at: over 1 year ago - Stars: 3 - Forks: 4
cobcom/talon
Tractograms As Linear Operators in Neuroimaging
Last synced at: over 1 year ago - Stars: 1 - Forks: 4
auctus-team/components/robots/panda/panda_qp_ws
A workspace to test panda_qp_control
Last synced at: over 1 year ago - Stars: 0 - Forks: 4
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Last synced at: over 1 year ago - Stars: 0 - Forks: 3
minicroco/minicroco
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 3
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
tuto-techno-guix-hpc/test_fembem/advanced-setup
An example experimental research study based on the test_FEMBEM solver test suite USING Guix and Org mode for reproducibility.
Last synced at: over 1 year ago - Stars: 0 - Forks: 3
openvibe/extras
The OpenViBE extras: Acquisition Server, demos, plugin contributions
Last synced at: over 1 year ago - Stars: 1 - Forks: 3
coccinelle/coccinelle
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Last synced at: over 1 year ago - Stars: 0 - Forks: 3
batsim/pybatsim
Python API and schedulers for Batsim
Last synced at: over 1 year ago - Stars: 1 - Forks: 3
solverstack/hqr
This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.
Last synced at: over 1 year ago - Stars: 1 - Forks: 3
grid5000/g5kspack
The g5kspack tool provides helper functions to manage a spack installation.
Last synced at: over 1 year ago - Stars: 1 - Forks: 3
OCSR/UMANS
Unified Microscopic Agent Navigation Simulator: A crowd-simulation engine that captures many local microscopic simulation algorithms in a single framework.
Last synced at: over 1 year ago - Stars: 1 - Forks: 3
gt-lgbti/prenom-usage
Guide pratique prénom d'usage et civilité à Inria
Last synced at: over 1 year ago - Stars: 3 - Forks: 3
guix-hpc/sysadmin
Sysadmin resources for guix-hpc
Last synced at: over 1 year ago - Stars: 0 - 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
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
cobcom/pffmri
A Python package that implements paradigm-free functional magnetic resonance imaging.
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
sed-rennes/gforge-to-gitlab-scripts
Some scripts to migrate content (trackers) from gforge to gitlab
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
mgenet/micro-macro-poro-paper-demos
Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 2
tansiv/tansiv
Time-Accurate Network Simulation Interconnecting Vms
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
pm2/pm2
PM2: Parallel Multithread Machine (source code)
Last synced at: over 1 year ago - Stars: 1 - Forks: 2
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
solverstack/ScalFMM
N-body simulation using kernel independent Fast Multipole Method
Last synced at: over 1 year ago - Stars: 1 - Forks: 2
sed-rennes/formations/formation-ci-cd/formation-cicd-gitlab-mini-cpp-application
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
mosaic/timagetk
_TimageTK_ (Tissue Image Toolkit) is a Python package dedicated to **image processing of multicellular architectures**, such as plants or animals. It is intended for biologists, modellers and computer scientists.
Last synced at: over 1 year ago - Stars: 1 - Forks: 2
grew/grew
command line interface to the Grew library
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
sed-rennes/formations/deep-learning-intro
Little introduction of deep learning
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
auctus-team/people/nicolas-torres/lmpcpoly-ws
A workspace to test panda_qp_control
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
genouest-public/genouest-about
Description of the GenOuest core facility, policy, rules etc...
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
cartolabe/cartolabe-visu
Web-based scalable visualization fo large document collections
Last synced at: over 1 year ago - Stars: 2 - Forks: 2
gitlabci_gallery/gitlab-api/project-statistics
Getting project statistics in a csv format.
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
hiepacs/rotor
Rematerialize Optimally with pyTORch
Last synced at: over 1 year ago - Stars: 1 - Forks: 2
mfx/icesl-interface
Public interface to IceSL for creating plugins
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
sed-lille/code-contest/code-elevator
Code contest developped by Xebia France (https://github.com/xebia-france/code-elevator).
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
compcertssa/compcertssa
CompCertSSA is built on top of the C CompCert verified compiler. It adds an SSA-based middle-end at the RTL level, and includes conversion to SSA, SSA-based optimizations, and destruction of SSA.
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
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
auctus-team/components/robots/panda/panda_qontrol
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
dtk/dtk
dtk is a meta-platform for modular scientific platform development.
Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 2
Puffertools/Pufferbench
PufferBench is a modular benchmark developed to evaluate the performance of commission and decommission operations needed by distributed storage systems.
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
DYLISS/biopax2cadbiom
Biopax data translation (http://biopax.org) to Cabiom model (http://cadbiom.genouest.org).
Last synced at: over 1 year ago - Stars: 0 - Forks: 2
batsim/batsched
Batsim C++ scheduling algorithms
Last synced at: over 1 year ago - Stars: 1 - Forks: 2