gitlab.inria.fr
mecsci/grains/methodes-tri
Grain 3.0 : méthodes de tri
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gazelle/public/documentation/user-documentation
Containerized documentation of customer environments
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Puffertools/pufferscaletest/pufferscale-hepnos
Integration Pufferscale + SDSKV +REMI for SC paper.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
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.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 3
DLreasoners/stare
The project aims to develop a reasoner which is based on a new optimization technique, called compressed-tableau. This reasoner allows to reason on ontologies expressed in Description Logics (e.g. OWL ontologies).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
grew/grew_server
Ocsigen based web-server for interaction with Arborator
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
H2020-AnDy/prescient_teleoperation/promp
ProMP C++ : C++ implementation of Probabilistic Motion Primitives
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
parcoach/parcoach
https://parcoach.github.io/
dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 1
coding-dojo-saclay/ChronalCoords2.jl
The solution proposed by François Févotte (EDF) to the 6th problem of the Advent of code 2018, in Julia. Another solution was tackled by Christian Poli previously with a different approach (see ChronalCoords.jl)
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
iccv_2019/pyvideoresearch_gunnar
fork of https://github.com/gsig/PyVideoResearch
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
coding-dojo-saclay/ChronalCoords.jl
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Puffertools/pufferscaletest/pufferscale-exp
dernière synchronisation: il y a environ un an - étoiles: 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.
dernière synchronisation: il y a environ un an - étoiles: 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).
dernière synchronisation: il y a environ un an - étoiles: 1
gazelle/public/validation/fhir-validator
Validation service for FHIR resources.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
optimdbs/optimdbs-superproject
fork of git@github.com:Inria-Asclepios/medinria-superproject.git
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gazelle/library/datatable-component
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
serpico/opticalflow
#opticalflow #2D #c++
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
glose/flight-controller-language-demonstrator
Demonstrator of WP5 technologies applied on a Flight Controller Language
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
gazelle/validator/common/validation-ws
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
formations/cpp/gettingstartedwithmoderncpp
A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
dernière synchronisation: il y a environ un an - étoiles: 10 - forks: 7
inria-ci/doc
User documentation of Inria's Continuous Integration services
dernière synchronisation: il y a environ un an - étoiles: 3 - forks: 10
skelton/pyskelton
Python version of Skelton project
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
serpico/hotspotdetection
Patch-based Markov Models for Event Detection in Fluorescence Bioimagiong
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
learninglab/mooc-rr/mooc-rr-ressources
Mooc Recherche Reproductible ressources publiques (https://learninglab.gitlabpages.inria.fr/mooc-rr/mooc-rr-ressources)
dernière synchronisation: il y a environ un an - étoiles: 3 - forks: 3
sed-rennes/sharelatex-website
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
paracirce/paracirce
A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
nef/NEFpp
NEFpp : A hybrid high-order (HHO) method for studying flows in discrete fracture networks using non-matching meshes.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
sed-rennes/sharelatex/clsi-sharelatex
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
serpico/cimgdenoising
Denoising library #denoising #2D #3D #c++
dernière synchronisation: il y a environ un an - étoiles: 0 - 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.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
D3/contour-detect
Line rendering of 3D meshes for data-driven sketch-based modelling. Software main page : https://ns.inria.fr/d3/syndraw/
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
scripta/escriptorium
A project providing digital recognition of handwritten documents using machine learning techniques.
dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 1
adjoint-computation/H-Revolve
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
OCSR/chaos
Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 4
mfx/icesl-documentation
IceSL documentation wiki
dernière synchronisation: il y a environ un an - étoiles: 0
gecos/gecos-tools/gecos-graphviz
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sed-rennes/sharelatex/inria-docker-sharelatex
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
capsid.crates/lib3dmol
Library to parse PDB in rust
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sed-rennes/sharelatex/web-sharelatex
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sed-rennes/sharelatex/sharelatex
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
cartolabe/cartolabe-data
Data Processing for Cartolabe
dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 2
bptraffic/star-ips
The name ★-IPS covers a family of algorithms, based on Iterative Proportional Scaling, intended for Gaussian Markov random field selection.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
HCL/nfs-workaround
Contournement d'un bug NFS/kerberos
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
mfx/icesl-public
Public interface to IceSL
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
H2020-AnDy/prescient_teleoperation/teleoperation_modules
A collection of modules and utilities to run the teleoperation
dernière synchronisation: il y a environ un an - étoiles: 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"
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
dexms/dexapi
Data eXchange Mediator Synthesizer
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-scilab
Repository for the experimental scilab frontend and IDE based on xtext
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Puffertools/Pufferspack
Spack package to install Pufferbench
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
usnb/gmail-persona
Example of reading emails with the gmail API
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
usnb/slack-persona
Building Slack bot with Node.js to connect SocialBus
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
fec/publications/mipp_a_portable_cpp_simd_wrapper_and_its_use_for_error_correction_coding_in_5g_standard
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
fec/publications/aff3ct_un_environnement_de_simulation_pour_le_codage_de_canal
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
dtk/dtk-core
dtkCore provides fundamental tools to build modular platform.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 2
monitoring/rv-multi
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
epione/GP_progression_model_V2
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
monitoring/themis-artifact-article
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
dexms/dexidl
Data eXchange Interface Description Language
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
belenios-forks/belenios-swergas
Verifiable online voting system
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Damaris/damaris
This is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
RMOD/Ghost
Original implementation of Ghost, as described by the paper from Peck et al. "Efficient Proxies in Smalltalk, Proceedings of ESUG International Workshop on Smalltalk Technologies (IWST'11)"
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ml_genetics/private/dnadna
Deep Neural Architecture for DNA.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
dtk/dtk-core-python
Python wrappers for the dtk-core layer
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
cobcom/talon
Tractograms As Linear Operators in Neuroimaging
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 4
citi-lab/dycton
DYnamiC non-volaTile memOry maNagement for embedded systems. simulation platform and instrumentation scripts
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Puffertools/Pufferscale
An implementation of a modular malleability manager for Mochi services.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-arith
This subproject provides source to source transformations aimed at improving the performance of arithmetic operations/operators for High Level Synthesis
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
belenios/belenios
Verifiable online voting system http://www.belenios.org
dernière synchronisation: il y a environ un an - étoiles: 3 - forks: 7
Damaris/Simulations/noise
This project holds the noise simulation instrumented by Damaris. Noise is a proxy simulation from the Ascent project (https://ascent.readthedocs.io/en/latest/) that uses a uniform grid in three directions.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
skeletons/necro
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
dernière synchronisation: il y a environ un an - étoiles: 4 - forks: 0
skeletons/Coq
Coq files related to skeletons
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sed-saclay/TutorielGitlabPages
A simple HTML project to demonstrate gitlab pages functionnality
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
OAR/oar3-switch
Material to switch from OAR2 to OAR3 Debian installation (is not a bullet proof solution).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
formations/integrationcontinue/TutorielGpuPlafrim
Formation pour mettre en place l'intégration continue depuis la plateforme Inria ( https://ci.inria.fr ) en compilant sur la plateforme PlaFRIM ( https://www.plafrim.fr ) des projets pour GPU
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
