gitlab.inria.fr
ParMmg/testparmmg
Test cases for the ParMmg library continuous integration
Last synced at: 8 months ago - Stars: 1 - Forks: 1
WIDE/similitude-exp
Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments
Last synced at: 8 months ago - Stars: 0 - Forks: 0
eigen/eigen-mirror
Mirror of eigen for CI, nightly builds, code analysis, etc.
Last synced at: 8 months ago - Stars: 0
monitoring/themis-rv18smarthome
Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
Last synced at: 8 months ago - Stars: 0 - Forks: 0
fec/publications/fast_simulation_and_prototyping_with_aff3ct
Last synced at: 8 months ago - Stars: 1 - Forks: 0
fec/publications/energy_consumption_analysis_of_software_polar_decoders_on_low_power_processors
Last synced at: 8 months ago - Stars: 1 - Forks: 0
fec/publications/beyond_gbps_turbo_decoder_on_multi-core_cpus
Last synced at: 8 months ago - Stars: 1 - Forks: 0
fec/publications/an_efficient_portable_and_generic_library_for_successive_cancellation_decoding_of_polar_codes
Last synced at: 8 months ago - Stars: 1 - Forks: 0
chroma/drones/drone-simulator
A drone simulator using Gazebo and ROS.
Last synced at: 8 months ago - Stars: 0 - Forks: 1
aideme/data_exploration
The first implementation of AIDEme's data exploration system, in Java. Today, it has been replaced by a Python implementation, which can be found on https://gitlab.inria.fr/aideme/aideme .
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-doc
Documentation backend for dtk 2.x.x series.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
parallel-replica/gen.parRep
An implementation of the Generalized Parallel Replica algorithm, developed at CERMICS, ENPC, France, by Florent Hédin and Tony Lelièvre, in collaboration with INRIA MATHERIALS.
Last synced at: 8 months ago - Stars: 1 - Forks: 0
parseme-fr/mwe-mg
Project hosting the contributions related to PARSEME-FR's working group 4 on MWE in metagrammars and symbolic parsing.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mnemosyne/data_prototypes
Code for "Bio-inspired analysis of deep learning on not-so-big data using data-prototypes"
Last synced at: 8 months ago - Stars: 1 - Forks: 0
dtk/dtk-widgets-python
Python bindings for dtk-widgets
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Quickspan/quickspan
Fast frequent subgraph mining.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
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: 8 months ago - Stars: 1 - Forks: 3
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: 8 months ago - Stars: 0 - Forks: 2
mnemosyne/vanilla_nn
A vanilia neural network for our statistic project at ENS rennes
Last synced at: 8 months ago - Stars: 0 - Forks: 0
rainbow-intervals/ros_interval
ROS packages for interval message passing, computations and visualisation
Last synced at: 8 months ago - Stars: 1 - Forks: 0
metapart/mirror
Mirror site to download state-of-the-art partitioning software.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mastertal/UE803
Gitlab repository for the Data Science class (id UE803) course for MSc students in NLP at Université de Lorraine.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
resibots/public/py_map_elites
Implementation of CVT-Map-Elites with line variation in python 3.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/biopax2cadbiom
Biopax data translation (http://biopax.org) to Cabiom model (http://cadbiom.genouest.org).
Last synced at: 8 months ago - Stars: 0 - Forks: 2
popstar/SAT-Equiv
SAT-Equiv is an equivalence checker for cryptographic protocols. It proceeds by reduction to planning problem and SAT-formula, for a bounded number of sessions.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/pylissIdConv
The aim of this library is to safely handle the decoding/encoding process of SBML identifiers and SBML entities names.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
monitoring/themis-artifact-outdated
Artifact repository for the TOPLAS article pertaining to the THEMIS tool.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
monitoring/themis-demo
The Demonstration repository for THEMIS
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/samifier-docker
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This repository contains the Docker Image to easily deploy the Samifier platform.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/samifier-matching-kernel
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This kernel calculates the matching between identifiers. The Samifier-web server makes requests for the results via an API.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/mpwt
Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
DYLISS/samifier-web
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. It enables to match personal identifiers of reactions and metabolites, to a given reference database.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-io
for optimized input/output in dtk
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk
dtk is a meta-platform for modular scientific platform development.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 2
monitoring/themis
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-continuous-geometry
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
coding-dojo-saclay/Blockchain
Understanding how a blockchain works by creating one
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mgkit/MetaMOF
Metagrammar of Middle and Old French
Last synced at: 8 months ago - Stars: 1 - Forks: 0
allgo/allgo.inria.fr
Public issues concerning allgo.inria.fr or allgo.irisa.fr
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/mgkit/hmg
Hellenic MetaGrammar
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
SFC/SFC_CG
Column generation models for the SFC problem and its many variations
Last synced at: 8 months ago - Stars: 0 - Forks: 0
TeamPlay_Public/TeamPlay_Public_Deliverables
Public, open, Git project for TeamPlay public deliverables.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
MoReFEM/Models/HyperelasticityIncompressible
A quasi incompressible hyperelastic model
Last synced at: 8 months ago - Stars: 0 - Forks: 1
IOTLanguage/IoTCompilertoBIP
Tool to transform IoT model towards BIP model
Last synced at: 8 months ago - Stars: 0 - Forks: 0
erable/kirikomics/metnetlib-minproject
This is a minimal project to get you started with metnetlib
Last synced at: 8 months ago - Stars: 0 - Forks: 0
corese/corese-lab
Experimental developments for Corese.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
MoReFEM/Models/AcousticWave
An acoustic wave model.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
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: 8 months ago - Stars: 5 - Forks: 12
batsim/batexpe
A program in charge of managing one Batsim simulation.
Last synced at: 8 months ago - Stars: 0 - Forks: 1
evalys/big-data-hpc-g5k-expe-tools
Tools to prepare, deploy and run reproducible experiments on Grid'5000 about resources managment
Last synced at: 8 months ago - Stars: 0 - Forks: 1
MoReFEM/Models/ReactionDiffusion
A reaction diffusion model with 3 reaction laws.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
sb/simbci
simBCI is a simulator for studying EEG/BCI models and methods. Please visit <a href="https://gitlab.inria.fr/sb/simbci/wikis/home">simBCI wiki</a> for a full homepage.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
yoann/grew
GUI and command line interface to the Grew library
Last synced at: 8 months ago - Stars: 0 - Forks: 0
MoReFEM/Models/Bidomain
Three bidomain related models.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
flowvr/flowvr-ex
In Situ Processing and Analytics Framework
Last synced at: 8 months ago - Stars: 0 - Forks: 0
WIDE/chepin/libflexcode
C/C++ Random Linear Network Coding (RLNC) library supporting unknown generation sizes
Last synced at: 8 months ago - Stars: 1 - Forks: 0
mgkit/MetaMeF
Metagrammar of medieval French (Old and Middle French)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-float2fix
This project provide some floating-point to fixed-point conversion tools such as Accuracy analysis, Dynamic range propagation, code generation etc.
Last synced at: 8 months ago - Stars: 0 - 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: 8 months ago - Stars: 2 - Forks: 2
metapart/scotch
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Last synced at: 8 months ago - Stars: 1 - Forks: 0
qparse/qparselib
Music transcription framework based on parsing for weighted regular tree grammars
Last synced at: 8 months ago - Stars: 2 - Forks: 0
regular-pv/timbuk/timbuk
A regular verification framework based on Tree Automata and Term Rewriting Systems.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-scop
Provides the GeCoS Polyhedral model' SCoP IR and toolflow (scop extraction from C code, various polyhedral transformations, code generation, etc.)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
HCL/structural-variants
Compare structural variants in different patients with different calling software.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
batsim/article-cluster17
Material about the **Energy vs Responsiveness Trade-off in EASY Back Filling** article submitted to Cluster 2017.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
batsim/pybatsim
Python API and schedulers for Batsim
Last synced at: 8 months ago - Stars: 1 - Forks: 3
batsim/datsched
Another Batsim scheduler. This one is implemented in D!
Last synced at: 8 months ago - Stars: 0 - Forks: 0