gitlab.inria.fr
mediation-sif/Labyrinthe/laby
A fork of https://github.com/sgimenez/laby using Dune as a build system, adding some features along the way.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
auctus-team/people/erwannlandais/public/ros2_subscriber_publisher
A dummy package containing some of the manipulations that I have made with ROS2. It notably contains some tricks to get some of the features of ROS1 into ROS2.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
causal-da/incorporating-causal-graphical-prior-knowledge-into-predictive-modeling-via-simple-data-augmentation
Last synced at: 8 months ago - Stars: 0 - Forks: 0
thesis-mfelsoci/dissertation/example-fembem
An example experimental research study based on the test_FEMBEM solver test suite using Guix and Org mode for reproducibility.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
openskecth/camparam_point_correspondancies
MATLAB code to estimate camera parameters from sparse sest of point correspondancies between 3D model and sketch.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
compose/include/compose-themes
Org HTML export templates with the corporate identity of Inria
Last synced at: 8 months ago - Stars: 1 - Forks: 0
guix-hpc/guix-benchmarking
Tools to benchmark and monitor the performance of Guix itself.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
guix-hpc/guix-packager
https://guix-hpc.gitlabpages.inria.fr/guix-packager/
Last synced at: 8 months ago - Stars: 1 - Forks: 1
guix-hpc/guix-past
GNU Guix channel providing packages from the past.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
tutorial-guix-hpc-workshop/software/minisolver
A simple application for testing dense and sparse solvers with pseudo-FEM, pseudo-BEM or pseudo-FEM/BEM matrices. It is based on the test_FEMBEM application, however with just enough functionalities for the needs of the Org mode and Guix tutorial.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
tutorial-guix-hpc-workshop/slides
How to use Org mode and Guix to build a reproducible experimental study
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
tutorial-guix-hpc-workshop/studies/reference
Minimal working example of an experimental study
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
gazelle/public/validation/audit-message-validator
Library for importing Audit Message specifications and validating Audit logs in DICOM PS 3.15 format.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
gazelle/public/test-content/atna-questionnaire
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
gazelle/specific-tools/epr/validators/models/chxdsi-validator-model
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gazelle/specific-tools/epr/validators/models/chxds-validator-model
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gazelle/public/core/lang
Java language extensions and utilities used in Gazelle projects.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
felisce/felisce
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Last synced at: 8 months ago - Stars: 4 - Forks: 1
camin-soft/ant4rotor
Python program enabling fast mode communication in ANT+ with the ROTOR 2INPOWER device. This was made on and only tested on Raspberry Pi 3B.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
D3/pystrokeproc
Geometric processing of vector drawings in python3
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cedar/connection-studio
ConnectionStudio integrates highly heterogeneous data into graphs, enriched with extracted entities. Studio users can discover the entities in their data, navigate across connections between datasets, explore and query the data in many ways. The Studio currently supports: CSV, JSON, XML, RDF, text, property graphs, all Office formats, and PDF datasets. For more information, see: https://connectionstudio.inria.fr The scientific publications behind the platform: https://team.inria.fr/cedar/connectionlens/
Last synced at: 8 months ago - Stars: 1 - Forks: 0
cedar/Spade
Spade is a successor of Dagger and Dagger+ (also called Dagger with sampling). This repository contains a refactored version of the code.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cedar/abstra-old
This project provides the code of Abstra, an all-in-one dataset abstraction system. It is developed with Java and use Postgres to store data.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
solverstack/hqr
This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.
Last synced at: 8 months ago - Stars: 1 - Forks: 3
cedar/tatooine
Mixed-instance querying: a lightweight integration architecture for data journalism
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mosaic/bvpy
Bvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
solverstack/fabulous
Iterative Block Krylov solvers
Last synced at: 8 months ago - Stars: 0 - Forks: 0
tuto-techno-guix-hpc/test_fembem/advanced-setup
An example experimental research study based on the test_FEMBEM solver test suite USING Guix and Org mode for reproducibility.
Last synced at: 8 months ago - Stars: 0 - Forks: 3
meta-blipp/proverif
ProVerif symbolic protocol verifier
Last synced at: 8 months ago - Stars: 0 - Forks: 0
MorphoNet/morphonet_unity
The MorphoNet Unity git
Last synced at: 8 months ago - Stars: 1 - Forks: 0
markovianbandit/efficient-whittle-index-computation
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/dhnord2019_cph_structuration_demo
Démonstration de la pipeline de structuration des comptes-rendus des conseils de prud'hommes parisiens mise en place dans le cadre du projet Time Us et présentée à l'occasion du colloque DHNord2019.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/alexina/saldo
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alexina/leffp
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alexina/leffe-spmg
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/mgkit/mgwiki
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alCorpusManagement/ogre
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alexina/morph_it
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/perlmod/lingua-maf
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/perlmod/lingua-features
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/perlmod/dict-lexed
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/dyalog/dyalog
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/mgkit/mgcomp
mgcomp is a compiler developped with system DyALog for Linguistic Meta-Grammars (MG). mgcomp can compile a MG in DyALog format into an XML representation [TAGML] of a Tree Adjoining Grammar [TAG], file extension .tag.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/mgkit/mgtools
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alexina/perlex
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alTextProcessing/sxpipe
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 1
almanach/alTextProcessing/alAnalyser
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/nomos
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/mafd
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/installatoll
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/alOldies/perlmod/lingua-tagset
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
almanach/mgkit/french-toy-tag
This package may be used to build a TAG parser `tag_parser' and a mixed TAG/TIG parser `tig_parser' for a toy french Tree Adjoining Grammars.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
seed_detection/seed-2-lp
Seed detection in metabolic networks using both logic programming and linear programming.
Last synced at: 8 months ago - Stars: 0 - Forks: 0