gitlab.inria.fr
batsim/bebida-on-batsim
Implementing Bebida over Batsim: HPC and Big data jobs with preemption
Last synced at: 8 months ago - Stars: 0 - Forks: 0
batsim/batexpe-python
Set of tools around Batsim to simplify experiments.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
batsim/dintervalset
Another interval set implementation. In D!
Last synced at: 8 months ago - Stars: 0 - Forks: 0
batsim/evalys
Infrastructure Performance Evaluation Toolkit
Last synced at: 8 months ago - Stars: 0 - Forks: 0
ACG/dev/ACGtk
Sources of the Abstract Categorial Development toolkit.
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 1 - Forks: 1
datapol/experiments-methodology
Thoughts, feedback and the sharing of experiences around experiments methodology
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dep2pict/dep2pict
Main tool with dep2pict executable
Last synced at: 8 months ago - Stars: 0 - Forks: 0
openvibe/extras
The OpenViBE extras: Acquisition Server, demos, plugin contributions
Last synced at: 8 months ago - Stars: 1 - Forks: 3
ordo-bdx/nrrp-with-starpu
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Alpha/alpha-language
Alpha language includes the core language, its parser, and editor based on Xtext.
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 1 - Forks: 0
openvibe/meta
The meta repository for building OpenViBE
Last synced at: 8 months ago - Stars: 1 - Forks: 1
sibr/projects/facades-repetitions/facade_repetitions_external
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 4 - Forks: 5
datapol/gsl/gsl-omp-example
Example program with OpenMP GSL integration routines
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-tools/gecos-tools-isl
Java Native Interface (JNI) Bindings of the external ISL (http://isl.gforge.inria.fr/) library.
Last synced at: 8 months ago - Stars: 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
Last synced at: 8 months ago - Stars: 0
gecos/gecos-tools/gecos-tools-jnimapper
JNI Mapping DSL (Xtext-based).
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 8 - Forks: 10
LightFieldCodingLibrary/LF
Matlab light field class
Last synced at: 8 months ago - Stars: 0 - Forks: 0
acostes/VestibulaR
Experimenting vestibular stimulation with a Virtuose6D
Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
orpailleur/limeout
The project aims to tackle process fairness for Machine Learning Models
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
expression/expression-externals/libxml2
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
causality/causal-ocaml
An implementation of a causal and interactive model for a concurrent MiniOCaml
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
grew/DSQtoDMRS
Grew rewriting rules for conversion from DeepSequoia to DMRS
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-buildtools
Provide build/deploy related scripts and configuration. It is used as submodules by other gecos projects.
Last synced at: 8 months ago - Stars: 0 - Forks: 1
InBio/Public/hydriver
Hydra LMT200 C++ driver for Micromanager
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-tools/gecos-tools-emf
Provide various tools
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gnomon/gnomon
Provide the gnomon core functionalities.
Last synced at: 8 months ago - Stars: 2 - Forks: 0
grew/UDtoAUD
Grew rewriting rules for conversion from UD to AUD (Enhanced UD dependencies with neutralized diathesis alternation)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
grew/DSQtoAMR
Grew rewriting rules for conversion from DeepSequoia to AMR
Last synced at: 8 months ago - Stars: 0 - Forks: 0
epione/biblio
Generates a bibliography for our website.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
grew/SSQtoDSQ
Grew rewriting rules for conversion from Surface Sequoia to Deep Sequoia
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 1
CompCert/ci
Scripts for Jenkins continous integration of CompCert
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
LightFieldCodingLibrary/SR
Matlab Super-ray package
Last synced at: 8 months ago - Stars: 0 - Forks: 0
MarTo/marto
Markov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation
Last synced at: 8 months ago - Stars: 1 - Forks: 0
agm/gspline
Package for geometrically regular splines on meshes of arbitrary topology
Last synced at: 8 months ago - Stars: 0 - Forks: 0
metapart/libgraph
Common graph & hypergraph routines.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gecos/gecos-tools/gecos-tools-tommapping
Define a Xtext-based DSL for easily generating TOM mappings for Ecore/Xcore models
Last synced at: 8 months ago - Stars: 0 - Forks: 1
gecos/gecos-tools/gecos-tools-tomsdk
Wrap the TOM language SDK (http://tom.loria.fr) and its eclipse IDE integration
Last synced at: 8 months ago - Stars: 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
Last synced at: 8 months ago - Stars: 0 - Forks: 0
croco-ocean/croco
Official repository for the CROCO model
Last synced at: 8 months ago - Stars: 13 - Forks: 9
sed-rennes/VR-Three.js
Test of Virtual Reality functions in javascript using Three.js API based on existent example.
Last synced at: 8 months ago - Stars: 0
atsyra/atsyra-dev
Development of ATSyRA 2 plugins and Studio
Last synced at: 8 months ago - Stars: 1 - Forks: 0
H2020-AnDy/prescient_teleoperation/sensors
all about sensors
Last synced at: 8 months ago - Stars: 0 - Forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
metapart/copart
Coupling-aware graph partitioning.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
ordo-bdx/io-peak
Estimation of IO peak as a function of average IO load + min size burst buffers
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
sed-lille/code-contest/code-elevator
Code contest developped by Xebia France (https://github.com/xebia-france/code-elevator).
Last synced at: 8 months ago - Stars: 0 - Forks: 2
citi-lab/sytare
SYsTème embArqué faible consommation à mémoiRE persistante
Last synced at: 8 months ago - Stars: 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.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
metapart/walshaw
The Walshaw graph collection extracted from the DIMACS'10 collection.
Last synced at: 8 months ago - Stars: 0 - Forks: 0