gitlab.inria.fr
auctus-team/components/robots/panda/panda_qontrol
Last synced at: 7 months ago - Stars: 0 - Forks: 2
coccinelle/reference_scores
Reference scores for Coccinelle regression tests running by CI. CI will commit new scores for every version pushed on coccinelle/coccinelle.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
why3/whymp
WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
cado-nfs/records
This repository contains information to reproduce several records obtained with cado-nfs
Last synced at: 7 months ago - Stars: 0 - Forks: 0
robotlearn/sfr_learning
Source code for the paper "Successor Feature Representations".
Last synced at: 7 months ago - Stars: 1 - Forks: 0
gazelle/library/uml-models
This project contains UML resources separated in sub modules, where each ones contains a main class for retrieve.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
coccinelle/coccinelle
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Last synced at: 7 months ago - Stars: 0 - Forks: 3
igrida/gvirt-factory
Packer templates to build gvirt images
Last synced at: 7 months ago - Stars: 0 - Forks: 0
damas/nitro
Geo-distributed storage system for VM images
Last synced at: 7 months ago - Stars: 0 - Forks: 0
bora-ucar/fast-matching
Fast almost optimal algorithms for bipartite graph matching
Last synced at: 7 months ago - Stars: 0 - Forks: 0
line/aide-group/aidesys
Basic system C/C++ interfaces to ease multi-language middleware integration
Last synced at: 7 months ago - Stars: 0 - Forks: 0
grew/grew_web_back
Server side of the Grew-web tool
Last synced at: 7 months ago - Stars: 0 - Forks: 0
magnet/wordnet-embeddings
Repository for message passing based NNs over Wordnet
Last synced at: 7 months ago - Stars: 0 - Forks: 0
grew/grew_web
web-based user interface for rewriting in Grew
Last synced at: 7 months ago - Stars: 0 - Forks: 0
intuidocenlignepublic/OLT-C3D_OAD
DOLT-C3D with Segmentation-Guided CTC and weighted label prior (3D OAD) (2023). Made by William Mocaër.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
line/aide-group/tabletop
The Tabletop activites RPi software
Last synced at: 7 months ago - Stars: 0 - Forks: 0
gazelle/applications/test-execution/validator/http-validator-validation-profiles
Repository for Validation Profiles
Last synced at: 7 months ago - Stars: 0 - Forks: 0
sed-paris/welcome
Welcome project for public discussions and share.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
these-bxi/r-util
A bunch of small R scripts for various purposes
Last synced at: 7 months ago - Stars: 0 - Forks: 0
crombach-neuro/projection-neurons-mouse-olfactory-bulb
Jupyter notebooks containing the code for visualization and PySCENIC analysis. See the manuscript published in eLife: <https://elifesciences.org/articles/65445> and its preprint on biorxiv: <https://www.biorxiv.org/content/10.1101/2020.11.30.405571>
Last synced at: 7 months ago - Stars: 0 - Forks: 0
melissa/wrf-melissa-da
WRF code instrumented for melissa-da
Last synced at: 7 months ago - Stars: 1 - Forks: 0
gitlabci_gallery/testing/matlab-unitests
Gitlab test reports and coverage feature on a Matlab® project using Matlab® unit tests.
Last synced at: 7 months ago - Stars: 1 - Forks: 0
lectures-mfelsoci/demos-compilation
Cahiers de travaux pratiques de compilation en Master 1 d'Informatique à l'Université de Strasbourg.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
gazelle/public/framework/sso-client
Library to auth users (OIDC) or machines (M2M) in Gazelle for application under JDK 21 (previously JDK17).
Last synced at: 7 months ago - Stars: 0 - Forks: 0
compose/include/emacs-bedrock-non-free/emacs-bedrock-org-non-free
Last synced at: 7 months ago - Stars: 0 - Forks: 0
ua/HighlyOscillatoryProblems.jl
Uniformly accurate numerical schemes for highly oscillatory evolution equations
Last synced at: 7 months ago - Stars: 0 - Forks: 0
gazelle/public/core/security-suite
PKI to share x.509 test certificates, simulation of ATNA and XUA actors, validation service of ATNA messages and XUA assertions.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
citi-lab/embench
Automated application benchmark generator for embedded targets.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
vidjil/mkdocs-gitlab-plugin
MkDocs plugin to transform strings such as #1234, %56, or !789 into links to a Gitlab repository.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
gazelle/public/validation/hl7v2-validator
Validation service for HL7v2 messages.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
concordant/software/c-service
A distributed database service for the Concordant platform.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
sed-rennes/formations/introduction-to-python
Beginner and intermediate materials for python introduction
Last synced at: 7 months ago - Stars: 0 - Forks: 0
auctus-team/components/motion-planning/kdl_trajectories
Custom trajectory generation library using KDL
Last synced at: 7 months ago - Stars: 0 - Forks: 1
auctus-team/people/nicolas-torres/moveit_trajectory_interface
Last synced at: 7 months ago - Stars: 0 - Forks: 0
dsi_public/depots_officiels_inria_gitlab
Liste des projets publics de Gitlab Inria diffusés sur https://code.etalab.gouv.fr
Last synced at: 7 months ago - Stars: 0 - Forks: 0
learninglab/mooc-scikit-learn/mooc-scikit-learn-resources
Index : https://learninglab.gitlabpages.inria.fr/mooc-scikit-learn/mooc-scikit-learn-resources
Last synced at: 7 months ago - Stars: 0 - Forks: 0
damas/container-image-placement
A Python simulator for container image placement and retrieval algorithms in Edge Clouds.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
demosinria/demo-ci
Demonstrating the CI tools available at Inria
Last synced at: 7 months ago - Stars: 0 - Forks: 0
dhai/SimpleAnnotationServer
A simple IIIF and Mirador compatiable Annotation Server
Last synced at: 7 months ago - Stars: 0 - Forks: 0
dtk/dtk-distributed
dtk-distributed provides all the mechanisms to perform distributed calculations.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
auctus-team/people/antunskuric/pynocchio
A python pip package for easier manipulaiton of pinocchio robot models https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pynocchio
Last synced at: 7 months ago - Stars: 0 - Forks: 1
zk-curves/snark-2-chains
Families of SNARK-friendly 2-chains of elliptic curves, with BLS12 and BLS24 inner curves, and BW6 (Brezing-Weng), CP8 and CP12 (Cocks-Pinch) outer curves.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
TeamPlay_Public/TeamPlay_Public_Tools/SecurityAnalyser
INRIA Security Analyser tool
Last synced at: 7 months ago - Stars: 0 - Forks: 0
hiepacs/rotor
Rematerialize Optimally with pyTORch
Last synced at: 7 months ago - Stars: 1 - Forks: 2
traficnetworkgeneration/documents
References, meeting summary and other usefull documents
Last synced at: 7 months ago - Stars: 0 - Forks: 0