gitlab.inria.fr
mecsci/grains/methodes-tri
Grain 3.0 : méthodes de tri
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gazelle/public/documentation/user-documentation
Containerized documentation of customer environments
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Puffertools/pufferscaletest/pufferscale-hepnos
Integration Pufferscale + SDSKV +REMI for SC paper.
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gappa/coq
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Last synced at: 8 months ago - Stars: 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).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
grew/grew_server
Ocsigen based web-server for interaction with Arborator
Last synced at: 8 months ago - Stars: 0 - Forks: 0
H2020-AnDy/prescient_teleoperation/promp
ProMP C++ : C++ implementation of Probabilistic Motion Primitives
Last synced at: 8 months ago - Stars: 0 - Forks: 0
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)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
iccv_2019/pyvideoresearch_gunnar
fork of https://github.com/gsig/PyVideoResearch
Last synced at: 8 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: 8 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: 8 months ago - Stars: 1
gazelle/public/validation/fhir-validator
Validation service for FHIR resources.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
optimdbs/optimdbs-superproject
fork of git@github.com:Inria-Asclepios/medinria-superproject.git
Last synced at: 8 months ago - Stars: 0 - Forks: 0
glose/flight-controller-language-demonstrator
Demonstrator of WP5 technologies applied on a Flight Controller Language
Last synced at: 8 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: 8 months ago - Stars: 10 - Forks: 7
inria-ci/doc
User documentation of Inria's Continuous Integration services
Last synced at: 8 months ago - Stars: 3 - Forks: 10
skelton/pyskelton
Python version of Skelton project
Last synced at: 8 months ago - Stars: 0 - Forks: 0
serpico/hotspotdetection
Patch-based Markov Models for Event Detection in Fluorescence Bioimagiong
Last synced at: 8 months ago - Stars: 0 - 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: 8 months ago - Stars: 3 - Forks: 3
paracirce/paracirce
A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
nef/NEFpp
NEFpp : A hybrid high-order (HHO) method for studying flows in discrete fracture networks using non-matching meshes.
Last synced at: 8 months ago - Stars: 1 - Forks: 1
serpico/cimgdenoising
Denoising library #denoising #2D #3D #c++
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 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/
Last synced at: 8 months ago - Stars: 0 - Forks: 0
scripta/escriptorium
A project providing digital recognition of handwritten documents using machine learning techniques.
Last synced at: 8 months ago - Stars: 2 - Forks: 1
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: 8 months ago - Stars: 0 - Forks: 4
capsid.crates/lib3dmol
Library to parse PDB in rust
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cartolabe/cartolabe-data
Data Processing for Cartolabe
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
HCL/nfs-workaround
Contournement d'un bug NFS/kerberos
Last synced at: 8 months ago - Stars: 0 - Forks: 0
H2020-AnDy/prescient_teleoperation/teleoperation_modules
A collection of modules and utilities to run the teleoperation
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: 8 months ago - Stars: 1 - Forks: 0
gecos/gecos-scilab
Repository for the experimental scilab frontend and IDE based on xtext
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Puffertools/Pufferspack
Spack package to install Pufferbench
Last synced at: 8 months ago - Stars: 0 - Forks: 0
usnb/gmail-persona
Example of reading emails with the gmail API
Last synced at: 8 months ago - Stars: 0 - Forks: 0
usnb/slack-persona
Building Slack bot with Node.js to connect SocialBus
Last synced at: 8 months ago - Stars: 0 - Forks: 0
fec/publications/mipp_a_portable_cpp_simd_wrapper_and_its_use_for_error_correction_coding_in_5g_standard
Last synced at: 8 months ago - Stars: 1 - Forks: 0
fec/publications/aff3ct_un_environnement_de_simulation_pour_le_codage_de_canal
Last synced at: 8 months ago - Stars: 1 - Forks: 0
dtk/dtk-core
dtkCore provides fundamental tools to build modular platform.
Last synced at: 8 months ago - Stars: 0 - Forks: 2
monitoring/rv-multi
Online tutorial for the paper: "Can we monitor all multithreaded programs?"
Last synced at: 8 months ago - Stars: 0 - Forks: 0
monitoring/themis-artifact-article
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dexms/dexidl
Data eXchange Interface Description Language
Last synced at: 8 months ago - Stars: 0 - Forks: 0
belenios-forks/belenios-swergas
Verifiable online voting system
Last synced at: 8 months ago - Stars: 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/.
Last synced at: 8 months ago - Stars: 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)"
Last synced at: 8 months ago - Stars: 0 - Forks: 0
ml_genetics/private/dnadna
Deep Neural Architecture for DNA.
Last synced at: 8 months ago - Stars: 1 - Forks: 1
dtk/dtk-core-python
Python wrappers for the dtk-core layer
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cobcom/talon
Tractograms As Linear Operators in Neuroimaging
Last synced at: 8 months ago - Stars: 1 - Forks: 4
citi-lab/dycton
DYnamiC non-volaTile memOry maNagement for embedded systems. simulation platform and instrumentation scripts
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Puffertools/Pufferscale
An implementation of a modular malleability manager for Mochi services.
Last synced at: 8 months ago - Stars: 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
Last synced at: 8 months ago - Stars: 0 - Forks: 0
belenios/belenios
Verifiable online voting system http://www.belenios.org
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
skeletons/necro
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Last synced at: 8 months ago - Stars: 4 - Forks: 0
sed-saclay/TutorielGitlabPages
A simple HTML project to demonstrate gitlab pages functionnality
Last synced at: 8 months ago - Stars: 0 - Forks: 0
OAR/oar3-switch
Material to switch from OAR2 to OAR3 Debian installation (is not a bullet proof solution).
Last synced at: 8 months ago - Stars: 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
Last synced at: 8 months ago - Stars: 0 - Forks: 0
