An open API service providing repository metadata for many open source software ecosystems.

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: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0

aljanon-experiment-framework/setup_experiment

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

synalp/gardentfest

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

spring/wp3_av_perception/skeleton-extrapolate

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

compose/include/compose-themes

Org HTML export templates with the corporate identity of Inria

Last synced at: about 1 year ago - Stars: 1 - Forks: 0

auctus-team/people/nicolas-torres/opensim_docker

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

rules/brunner

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

guix-hpc/guix-extensions

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

guix-hpc/benchmarking

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

gazelle/bom/gazelle-seam

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

felisce/extra/doxygen

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

guix-hpc/sc24-reproducibility-initiative

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

guix-hpc/guix-benchmarking

Tools to benchmark and monitor the performance of Guix itself.

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

guix-hpc/guix-packager

https://guix-hpc.gitlabpages.inria.fr/guix-packager/

Last synced at: about 1 year ago - Stars: 1 - Forks: 1

guix-hpc/guix-past

GNU Guix channel providing packages from the past.

Last synced at: about 1 year 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: about 1 year ago - Pushed at: over 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tutorial-guix-hpc-workshop/studies/reference

Minimal working example of an experimental study

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

gazelle/public/simulation/elm-fhir-simulator

Last synced 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

gazelle/public/test-content/atna-questionnaire

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

gazelle/specific-tools/epr/validators/models/chxdsi-validator-model

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

gazelle/specific-tools/epr/validators/models/chxds-validator-model

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

gazelle/public/simulation/mhd-fhir-simulators

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

gazelle/public/core/lang

Java language extensions and utilities used in Gazelle projects.

Last synced at: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0

act/library

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

act/documentation

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

act/website

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

ACG/dev/readline-ocaml

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

capsid.public_codes/hla-3d-diff_public

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

capsid.public_codes/hla-epicheck

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

simbiotx/inria-liver-vessel-segmentation-dataset

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

D3/pystrokeproc

Geometric processing of vector drawings in python3

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

capsid.public_codes/sam_download

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

corese/corese-jpype

Last synced at: about 1 year 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: about 1 year ago - Stars: 1 - Forks: 0

Seshat/asterix

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - 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: about 1 year ago - Stars: 0 - Forks: 0

cedar/facts-dataset-maker

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

Seshat/webgl

course on webGL

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

cedar/statistical-entities

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

cedar/factcheckbureau

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

cedar/Open-Information-Extraction

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

cedar/abstra

Last synced at: about 1 year ago - Pushed at: over 1 year 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

cedar/estocada-public

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

solverstack/rapack

Low Rank Algebra Package

Last synced at: about 1 year ago - Stars: 1 - Forks: 3

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: about 1 year ago - Stars: 1 - Forks: 3

cedar/tatooine

Mixed-instance querying: a lightweight integration architecture for data journalism

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

solverstack/mini-examples/block-row-mv

Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0

solverstack/mini-examples/starpu_example_stencil

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

solverstack/fabulous

Iterative Block Krylov solvers

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

eurobin-horizon/models

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/parcelmanagergui

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/artiscales-openmole

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/artiscales-framagit-io

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/artiscales

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/mupcity-artiscales

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/fractalyse-artiscales

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/parcelmanager

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

artiscales/mupcity-openmole

Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 3

creativlab/chemicals_safety_data_sheets

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

creativlab/documentation

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

meta-blipp/proverif

ProVerif symbolic protocol verifier

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

gecos/gecos-hls

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

MorphoNet/morphonet_unity

The MorphoNet Unity git

Last synced at: about 1 year ago - Stars: 1 - Forks: 0

sed-ral/lacoscope

Last synced at: about 1 year ago - Stars: 1 - Forks: 0

markovianbandit/efficient-whittle-index-computation

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

sed-saclay/cppyy_kernel

Last synced at: about 1 year ago - Stars: 4 - Forks: 3

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: about 1 year ago - Stars: 0 - Forks: 0

almanach/SYNTAX

SYNTAX parser generator

Last synced at: about 1 year ago - Stars: 0 - Forks: 0

almanach/alexina/saldo

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alexina/leffp

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alexina/leffe-spmg

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/mgkit/mgwiki

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alCorpusManagement/ogre

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alexina/morph_it

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/perlmod/lingua-maf

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/perlmod/lingua-features

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/perlmod/dict-lexed

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/dyalog/dyalog

Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/mgkit/mgtools

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alexina/perlex

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alTextProcessing/sxpipe

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

almanach/alTextProcessing/alAnalyser

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/nomos

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/mafd

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/installatoll

Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

almanach/alOldies/perlmod/lingua-tagset

Last synced at: about 1 year ago - Pushed at: over 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: about 1 year ago - Pushed at: over 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: about 1 year ago - Stars: 0 - Forks: 0