gitlab.inria.fr
discovery/enoslib
A library to build experimental frameworks on multiple platforms
Last synced at: 9 months ago - Stars: 7 - Forks: 24
monitoring/rv-multi
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
Last synced at: 9 months ago - Stars: 0 - Forks: 0
tansiv/tansiv
Time-Accurate Network Simulation Interconnecting Vms
Last synced at: 9 months ago - Stars: 0 - Forks: 3
why3/parcoursup
Preuve sur les algos de Parcoursup
Last synced at: 8 months ago - Stars: 0 - Forks: 0
WIDE/f3c-evaluation
This projects contains the code of the OMNeT++ evaluation of the F3C-algorithm proposed in the publication "Vertex Coloring with Communication Constraints in Synchronous Broadcast Networks"
Last synced at: 9 months ago - Stars: 1 - Forks: 0
capsid.crates/lib3dmol
Library to parse PDB in rust
Last synced at: about 1 month ago - Stars: 0 - Forks: 0
mosaic/mosaic-commons
https://mosaic.gitlabpages.inria.fr/mosaic-commons
Last synced at: 9 months ago - Stars: 1 - Forks: 0
parallel-replica/qsd.gen.samples
C++ software for generating configurations of a molecular system (coordinates and velocities) distributed according to the QSD (Quasi Stationary Distribution) within a user defined metastable state.
Last synced at: 9 months ago - Stars: 1 - 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: 9 months ago - Stars: 3 - Forks: 3
grid5000/omegawatt
Read power consumption values from omegawatt's wattmetre devices
Last synced at: 9 months ago - Stars: 0 - Forks: 0
magnet/nada
Host files of the NADA project, as presented in the "NADA: A Robust System for Non-referential Pronoun Detection" paper by Bergsma & Yarowsky.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
formations/integrationcontinue/gitlabciintroduction
GitLab CI Introduction with the Inria GitLab and CI platform. Prerequisites: the practice of at least one programming language (C++, Java or Python).
Last synced at: 9 months ago - Stars: 1
solverstack/maphys/maphys
The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.
Last synced at: 9 months ago - Stars: 0 - Forks: 1
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: 9 months ago - Stars: 9 - Forks: 7
learninglab/mooc-styleguide
Demo : https://learninglab.gitlabpages.inria.fr/mooc-styleguide/
Last synced at: 9 months ago - Stars: 3 - Forks: 0
mosaic/tissue_paredes
Polarity Analysis through Robust Extraction and Density Estimation of Signals at cell-wall level
Last synced at: 9 months ago - Stars: 0 - Forks: 0
solverstack/paddle
Parallel Algebraic Domain Decomposition for Linear systEms (Paddle)
Last synced at: 9 months ago - Stars: 0 - Forks: 0
creinke/exputils
Various tools to run scientific computer experiments.
Last synced at: 9 months ago - Stars: 4 - Forks: 2
mosaic/publications/tissue2d
Package to compute growth, cell division, cell wall stiffening and mechanical equilibrium of plant tissue cross sections formalized as 2D cell complexes.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
grid5000/ai_tutorial
Recipe to extend the Grid'5000 big environment to include custom IA software.
Last synced at: 9 months ago - Stars: 0 - Forks: 1
gappa/gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Last synced at: 8 months ago - Stars: 1 - Forks: 1
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Last synced at: 5 months ago - Stars: 0 - Forks: 3
coquelicot/coquelicot
A Coq formalization of real analysis compatible with the standard library.
Last synced at: 5 months ago - Stars: 2 - Forks: 9
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: 9 months ago - Stars: 2 - Forks: 0
gerzaguet_public/2a_imr_wirelessnetwork_lab
Source code for IMR lab on Wireless Network.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
dtk/dtk-wm
A Wayland based minimal dtk oriented window manager
Last synced at: 9 months ago - Stars: 0 - Forks: 0
dtk/dtk-os
A very lightweight rolling release dtk specific os including dtk-wm as a window manager, dtk-pkg as package manager
Last synced at: 9 months ago - Stars: 0 - Forks: 0
dtk/dtk-pkg
A wrapper around conda, tweaked to ease our users experience and prevent them from messing up their environments
Last synced at: 9 months ago - Stars: 0 - Forks: 0
monitoring/themis
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Last synced at: 9 months ago - Stars: 0 - 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: 3 months ago - Stars: 2 - Forks: 4
melissa/melissa-sa
Large Scale Sensitivity Analysis
Last synced at: 9 months ago - Stars: 2 - Forks: 2
cherzet/cours-parcimonie-insa
Ce projet contient les éléments du cours "Parcimonie en Traitement du Signal et des Images" dispensé aux étudiants de 5ième année de l'option "Génie mathématique" à l'INSA de Rennes.
Last synced at: 3 months ago - Stars: 0 - Forks: 0
monitoring/opportunistic-rv-conf
Artifact repository for the paper Opportunistic RV of Multithreaded Programs
Last synced at: 9 months ago - Stars: 0 - Forks: 0
moex/class
Material for a card game used to illustrate social knowledge evolution
Last synced at: 9 months ago - Stars: 0 - Forks: 0
x-BRenau/s-namo-sim
S-NAMO simulator, worlds and algorithms
Last synced at: 3 days ago - Stars: 0 - Forks: 0
sed-rennes/gforge-to-gitlab-scripts
Some scripts to migrate content (trackers) from gforge to gitlab
Last synced at: 9 months ago - Stars: 0 - Forks: 2
dtk/dtk-cross
Various pre and post build support tools
Last synced at: 9 months ago - Stars: 0 - Forks: 0
doris/doris.gitlabpages.inria.fr
Site web pour le groupe Doris Pour l'instant ne contient que la partie Android, mais à terme devrait aussi contenir la partie IOs ?
Last synced at: 9 months ago - Stars: 0 - Forks: 0
allgo/api-clients/client_spec
Here we will define the client specification, that need to be used in each official/supported client.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
cobcom/pffmri
A Python package that implements paradigm-free functional magnetic resonance imaging.
Last synced at: 9 months ago - Stars: 0 - Forks: 2
line/aide-group/aide
The AIDE project software development bundle
Last synced at: 9 months ago - Stars: 0 - Forks: 0
dtk/dtk-symbolic
A layer featuring basic symbolic definition of multivariate polynomials together with differentation operations.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
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: 9 months ago - Stars: 1 - Forks: 2
gerzaguet_public/julia_seminar
Slides sources for Julia seminar with @rbacher
Last synced at: 9 months ago - Stars: 0 - Forks: 0
cedar/statstical_mentions
Extracting statistical mentions from textual claims to provide trusted content
Last synced at: 9 months ago - Stars: 0 - Forks: 0
gerzaguet_public/digitalcomm.jl
Julia package for digital communication tools.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
robotlearn/deepmot
Official implementation of DeepMOT.
Last synced at: 9 months ago - Stars: 1 - Forks: 0
grid5000/exhibitv2
exhibitv2 is a javascript library used by the UI of Grid'5000 API.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
Spirals/monsoon
Some information and scripts about how to use the Monsoon probe to measure power consumption.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
aviz/parcoursvis
Visualization for CNAM Parcours de Santé.
Last synced at: 9 months ago - Stars: 1 - Forks: 0
bramas/tbfmm
Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.
Last synced at: 6 days ago - Stars: 0 - Forks: 1
myriads-team/python-distem
A python client for distem (http://distem.gforge.inria.fr/)
Last synced at: 10 days ago - Stars: 0 - Forks: 1
WIDE/HyFN
Public repository for the code used in HyFN experiments
Last synced at: 9 months ago - Stars: 0 - Forks: 0
cobcom/cimem/recur
A Python package to simplify the creation and manipulation of recursive data structures.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
line/aide-group/esp32-roomcontrol
ESP32 firmware providing a REST API for controlling the devices installed in the escape game rooms.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
cobcom/cimem/bayesnet
A Python package to repeatedly obtain the marginal distributions of a Bayesian network using exact inference.
Last synced at: 23 days ago - Stars: 0 - Forks: 0
cobcom/cimem/cimem
A Python package that implements Connectivity Informed Maximum Entropy on the Mean.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
discovery/openstackoid
Make your OpenStacks Collaborative
Last synced at: 9 months ago - Stars: 0 - Forks: 0
discovery/keystoneauth
OpenStack Identity Authentication Library
Last synced at: 9 months ago - Stars: 0 - Forks: 0
discovery/keystonemiddleware
OpenStack Identity (Keystone) Middleware
Last synced at: 9 months ago - Stars: 0 - Forks: 0
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: 9 months ago - Stars: 2 - Forks: 1
line/aide-group/ozobot-lib
Python library for controlling an Ozobot Evo robot via its Bluetooth connection.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
line/aide-group/ozobot-api
Ozobot Evo control REST API
Last synced at: 9 months ago - Stars: 0 - Forks: 0
aviz/paohvis
Parallel Aggregated Ordered Hypergraph (PAOH) is a technique to visualize dynamic hypergraphs. Hypergraphs are a generalization of graphs where edges can connect more than two vertices. Hypergraphs can be used to model co-authorship networks wi
Last synced at: 9 months ago - Stars: 1 - Forks: 1
WIDE/dietcoin/dietcoin-lib
Fork of bitcoinj-0.14.4 for the Dietcoin paper. Contains library code only.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
WIDE/dietcoin/dietcoin-exp
Experiments for the Dietcoin paper. Includes dietcoin-lib as a git submodule.
Last synced at: 9 months ago - Stars: 0 - Forks: 0
InBio/Public/fwd_ad
Fwd:AD is a Rust library (crate) to perform forward auto-differentiation, with a focus on empowering its user to manage memory location and minimize copying.
Last synced at: about 1 month ago - Stars: 0 - Forks: 0
batsim/batsky
Framework companion of Batsim to control timeline of legacy applications according to simulation.
Last synced at: 5 months ago - Stars: 0 - Forks: 0
clement.elbaz/libcvss
A rust implementation of the CVSS specification.
Last synced at: 9 months ago - Stars: 0 - Forks: 0