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: about 1 year 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
causality/causality-monad
The causality monad, to describe concurrent computations.
Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0
diverse-public/llm-program-diversification-ai-code
Last synced at: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
moex/linkky
Dependent link key extraction through a Python implementation of RCA techniques
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
expression/tremolo/controllable-paraphrase-generation
Last synced at: about 1 year 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
why3/parcoursup
Preuve sur les algos de Parcoursup
Last synced at: about 1 year 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: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk-imaging-python
Python bindings for dtk-imaging
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk-cross
Various pre and post build support tools
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk-themes-python
Python bindings for dtk-themes
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk-containers
This layer aims at providing containers that suit with scientific applications.
Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
Conferences/ICT_2018_MUFF
Presentation of LMS-MUFF done at ICT 2018
Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
monitoring/rv-dist-pub
Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0
monitoring/opportunistic-rv-conf
Artifact repository for the paper Opportunistic RV of Multithreaded Programs
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
sed-paris/ai-community
Repository with tools and information for AI community at Inria.
Last synced at: about 1 year ago - Stars: 1
batsim/batbroker
Broker for batsim to enable multiple schedulers over one batsim instance
Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0
erable/methg
Metabolic network library, using directed hypergraphs as a representation, in Rust.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
geomerix/public/teaching/code-skeleton-csc_51074_ep
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/guix-images
A Guix channel used to build images generated with `guix pack`
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
numpex-pc5/wp2-co-design/Working-Groups-Playground
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/guix-hpc
Extensions of GNU Guix for high-performance computing.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
topshap/rewiring_detection_workshop_dmbih_2024
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
numpex-pc5/wp3/numpex-page
https://numpex-pc5.gitlabpages.inria.fr/wp3/numpex-page
Last synced at: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
gtpi/inria_skin
Habillage graphique Inria pour GLPI (plugin)
Last synced at: about 1 year ago - Stars: 0
dlp-sif/dlp-arduino
Neuvième séance de "Demandez le Programme" consacrée à Arduino
Last synced at: about 1 year ago - Stars: 1 - Forks: 1
ink-interaction/list-widgets
Code implementation by Yao Ming during his internship at ExSitu (2020)
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alexina/leffe
Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0
cidre-public/oatinside/oatinside-host-scripts
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
formations/ocaml/introduction-au-langage-ocaml
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
crv14/evaluation
This project contains the information related to the evaluation carried out during CRV 14.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
dnarxiv/channel_coding
Channel coding algorithms, simulator of sequencing
Last synced at: about 1 year ago - Stars: 1 - Forks: 0