gitlab.inria.fr
stopcovid19/accueil
Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)
Last synced at: 8 months ago - Stars: 3 - Forks: 0
andiamo/relations-primitives-2019
Code for the paper: Charlotte Roze, Chloé Braud, Philippe Muller. Which aspects of discourse relations are hard to learn? Primitive decomposition for discourse relation classification. Annual SIGdial Meeting on Discourse and Dialogue, Sep 2019.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
causality/causality-monad
The causality monad, to describe concurrent computations.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
InBio/Public/YeastOptogeneticDifferentiation_YODA
Code used for the analysis of raw data and generate figures for the article "A light tunable differentiation system for the creation and control of consortia in yeast" (2021).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
diverse-public/llm-program-diversification-ai-code
Last synced at: 8 months ago - Stars: 0 - Forks: 0
moex/swip
Semantic web in the pocket. SWIP is a project for supporting RDF under the Android hood.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
moex/psparql
PSPARQL engine is an extension to SPARQL engine written in Java. It evaluates string queries of both SPARQL/PSPARQL (see http://psparql.inrialpes.fr/).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
moex/linkky
Dependent link key extraction through a Python implementation of RCA techniques
Last synced at: 8 months ago - Stars: 0 - Forks: 0
expression/tremolo/controllable-paraphrase-generation
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cambium/hazel
This repository contains the Coq/Iris proofs that accompany the paper [A Separation Logic for Effect Handlers](http://cambium.inria.fr/~fpottier/publis/de-vilhena-pottier-sleh.pdf).
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
why3/parcoursup
Preuve sur les algos de Parcoursup
Last synced at: 8 months ago - Stars: 0 - Forks: 0
starpu/starpu
A Unified Runtime System for Heterogeneous Multicore Architectures. More informations on https://starpu.gitlabpages.inria.fr/
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 12 - Forks: 13
dtk/dtk-pkg
A wrapper around conda, tweaked to ease our users experience and prevent them from messing up their environments
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-imaging-python
Python bindings for dtk-imaging
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-cross
Various pre and post build support tools
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-themes-python
Python bindings for dtk-themes
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-containers
This layer aims at providing containers that suit with scientific applications.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
Conferences/ICT_2018_MUFF
Presentation of LMS-MUFF done at ICT 2018
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
monitoring/rv-dist-pub
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
allgo/api-clients/client_spec
Here we will define the client specification, that need to be used in each official/supported client.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
monitoring/opportunistic-rv-conf
Artifact repository for the paper Opportunistic RV of Multithreaded Programs
Last synced at: 8 months ago - Stars: 0 - Forks: 0
sed-paris/ai-community
Repository with tools and information for AI community at Inria.
Last synced at: 8 months ago - Stars: 1
batsim/batbroker
Broker for batsim to enable multiple schedulers over one batsim instance
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
erable/adrm
Le pipeline créé nommé ADRM (Acquisition des données de réactions métaboliques) permet la récupération des données de masse, ΔfG°’, Keq, ΔrG°’ simplement à base d’un fichier d’entrée composé des identifiants donnés aux réactions dans le modèle métabo
Last synced at: 8 months ago - Stars: 0 - Forks: 0
erable/methg
Metabolic network library, using directed hypergraphs as a representation, in Rust.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
geomerix/public/teaching/code-skeleton-csc_51074_ep
Last synced at: 8 months ago - Stars: 0 - Forks: 1
geomerix/public/fulldec
Code for the numerical verification of the results presented in 'A Discrete Exterior Calculus of Bundle-valued Forms'
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/guix-images
A Guix channel used to build images generated with `guix pack`
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp2-co-design/Working-Groups-Playground
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/guix-hpc
Extensions of GNU Guix for high-performance computing.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/numpex-page
https://numpex-pc5.gitlabpages.inria.fr/wp3/numpex-page
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/gain
A simple Gaussian Integral Library. Bundled in [BigDFT](https://gitlab.com/l_sim/bigdft-suite) and extracted here for archival.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/guix-hpc-non-free
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gtpi/inria_skin
Habillage graphique Inria pour GLPI (plugin)
Last synced at: 8 months ago - Stars: 0
dlp-sif/dlp-arduino
Neuvième séance de "Demandez le Programme" consacrée à Arduino
Last synced at: 8 months ago - Stars: 1 - Forks: 1
ink-interaction/list-widgets
Code implementation by Yao Ming during his internship at ExSitu (2020)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/alexina/leffe
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
deep-learning-applied-on-web-and-iot-security/statically-identifying-xss-using-deep-learning/node.js-transformations
Last synced at: 8 months ago - Stars: 0 - Forks: 0
crv14/evaluation
This project contains the information related to the evaluation carried out during CRV 14.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dnarxiv/channel_coding
Channel coding algorithms, simulator of sequencing
Last synced at: 8 months ago - Stars: 1 - Forks: 0