gitlab.inria.fr
batsim/bebida-on-batsim
Implementing Bebida over Batsim: HPC and Big data jobs with preemption
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
batsim/batexpe-python
Set of tools around Batsim to simplify experiments.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
batsim/dintervalset
Another interval set implementation. In D!
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
batsim/evalys
Infrastructure Performance Evaluation Toolkit
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ACG/dev/ACGtk
Sources of the Abstract Categorial Development toolkit.
dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 1
kstar/kstar
KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
datapol/experiments-methodology
Thoughts, feedback and the sharing of experiences around experiments methodology
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
dep2pict/dep2pict
Main tool with dep2pict executable
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
openvibe/extras
The OpenViBE extras: Acquisition Server, demos, plugin contributions
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 3
ordo-bdx/nrrp-with-starpu
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
LightFieldCodingLibrary/utils
Utility functions
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
Alpha/alpha-language
Alpha language includes the core language, its parser, and editor based on Xtext.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
openvibe/designer
The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
openvibe/sdk
The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
openvibe/meta
The meta repository for building OpenViBE
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
locolearn/docker_OpenSoT
docker for OpenSoT
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
sibr/projects/facades-repetitions/facade_repetitions_external
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
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.
dernière synchronisation: il y a environ un an - étoiles: 4 - forks: 5
datapol/gsl/gsl-omp-example
Example program with OpenMP GSL integration routines
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-tools/gecos-tools-isl
Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
coq/wiki-backup
Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour
dernière synchronisation: il y a environ un an - étoiles: 0
gecos/gecos-tools/gecos-tools-jnimapper
JNI Mapping DSL (Xtext-based).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
why3/why3
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
dernière synchronisation: il y a environ un an - étoiles: 8 - forks: 10
coq/coq
Mirror for CI/CD purposes only.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 3
LightFieldCodingLibrary/LF
Matlab light field class
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
acostes/VestibulaR
Experimenting vestibular stimulation with a Virtuose6D
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
orpailleur/limeout
The project aims to tackle process fairness for Machine Learning Models
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
expression/expression-externals/libxml2
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
causality/causal-ocaml
An implementation of a causal and interactive model for a concurrent MiniOCaml
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 1 - forks: 0
grew/DSQtoDMRS
Grew rewriting rules for conversion from DeepSequoia to DMRS
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-buildtools
Provide build/deploy related scripts and configuration. It is used as submodules by other gecos projects.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
InBio/Public/hydriver
Hydra LMT200 C++ driver for Micromanager
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-tools/gecos-tools-emf
Provide various tools
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-tools/gecos-tools-graph
Wrap the external JGraphT (http://jgrapht.org) library and provide a generic graph model (IGraph) with adapter mechanism and dynamic dependency injection. IGraph implements a set of the most common graph operations.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gnomon/gnomon
Provide the gnomon core functionalities.
dernière synchronisation: il y a environ un an - étoiles: 2 - forks: 0
grew/UDtoAUD
Grew rewriting rules for conversion from UD to AUD (Enhanced UD dependencies with neutralized diathesis alternation)
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
grew/DSQtoAMR
Grew rewriting rules for conversion from DeepSequoia to AMR
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
epione/biblio
Generates a bibliography for our website.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
grew/SSQtoDSQ
Grew rewriting rules for conversion from Surface Sequoia to Deep Sequoia
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
LightFieldCodingLibrary/HEVC
HEVC Matlab package
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-core
GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
CompCert/ci
Scripts for Jenkins continous integration of CompCert
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-testframework
GeCoS Testing Framework provides an annotation-based testing framework for source-to-source transformations. This framework, built on top of JUnit4 and JUnit-dataprovider, enables a very simple and rapid way to specify integration tests.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
LightFieldCodingLibrary/SR
Matlab Super-ray package
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
MarTo/marto
Markov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
agm/gspline
Package for geometrically regular splines on meshes of arbitrary topology
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
metapart/libgraph
Common graph & hypergraph routines.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-tools/gecos-tools-tommapping
Define a Xtext-based DSL for easily generating TOM mappings for Ecore/Xcore models
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
gecos/gecos-tools/gecos-tools-tomsdk
Wrap the TOM language SDK (http://tom.loria.fr) and its eclipse IDE integration
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
LightFieldCodingLibrary/yuv
YUV Matlab package
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-composite
This project assemble all components of GeCoS to provide a composite product, installer, p2 update site and target definitions
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
croco-ocean/croco
Official repository for the CROCO model
dernière synchronisation: il y a environ un an - étoiles: 13 - forks: 9
usnb/universal-social-network-bus
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 1
sed-rennes/VR-Three.js
Test of Virtual Reality functions in javascript using Three.js API based on existent example.
dernière synchronisation: il y a environ un an - étoiles: 0
atsyra/atsyra-dev
Development of ATSyRA 2 plugins and Studio
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 0
H2020-AnDy/prescient_teleoperation/sensors
all about sensors
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
metapart/copart
Coupling-aware graph partitioning.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
WellInverter/WellInverter_Standalone_Linux
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
ordo-bdx/io-peak
Estimation of IO peak as a function of average IO load + min size burst buffers
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
gecos/gecos-framework
GeCoS Framework provides the compiler runtime application, extension mechanisms such as compiler modules as well as the GeCoS compiler script (.cs) editor.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
moex/scarlet
Scarlet is a highly flexible context-based ontology matcher developed in the context of the NeOn European project. Such a matcher matches ontologies using external resources. Scarlet uses all the ontologies of the web accessible through Watson.
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
sed-lille/code-contest/code-elevator
Code contest developped by Xebia France (https://github.com/xebia-france/code-elevator).
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 2
kameleon/kameleon-recipes
The defaults kameleon recipes
dernière synchronisation: il y a environ un an - étoiles: 0
PSI/psi4
Next generation PSI software
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
citi-lab/sytare
SYsTème embArqué faible consommation à mémoiRE persistante
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
WellInverter/WellInverter_Standalone_Windows
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
almanach/mgkit/biomg
A French grammar generated from a MetaGrammar and compiled with DyALog, to be used to parse botanical descriptions. It is based on FRMG, a general MetaGrammar for French.
dernière synchronisation: il y a environ un an - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
WellInverter/WellInverter_Standalone_Nuvla
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
metapart/walshaw
The Walshaw graph collection extracted from the DIMACS'10 collection.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0