gitlab.inria.fr
gerzaguet_public/abstractsdrsfmreceiver.jl
Git folder for FM receiver in Julia
Last synced at: 8 months ago - Stars: 0 - Forks: 0
ciao/pmns-for-sidh
Polynomial Modular Number System for SIDH
Last synced at: 8 months ago - Stars: 0 - Forks: 0
obelix/broceliande
Broceliande aims to use TRISKELE and Random Forest for classification. It is the use of representation trees of satellite images and decision trees to detect woody features in Europe.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
sibr/projects/tfgl_interop
Tfgl interoperability dependencies and cuda code
Last synced at: 8 months ago - Stars: 0 - Forks: 0
sed-rennes/gforge-to-gitlab-scripts
Some scripts to migrate content (trackers) from gforge to gitlab
Last synced at: 8 months ago - Stars: 0 - Forks: 2
misscausal/combine-rct-rwd-review
R notebooks associated with the review article: "Causal inference methods for combining randomized controlled trials and observational studies: a review"
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dnarxiv/workflow_commands
Commands managing the whole process
Last synced at: 8 months ago - Stars: 1 - Forks: 0
nef/diskpp
DiSk++, a library for Discontinuous Skeletal methods
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gazelle/specific-tools/connectivity-test-scripts
Scripts to facilitate connectivity tests during an online test event.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
obelix/triskele
TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dnarxiv/synthesis_modules
Fragments design, Simulators of synthesis and assembly
Last synced at: 8 months ago - Stars: 1 - Forks: 0
sibr/projects/spixelwarp
Implementation of Chaurasia et. al. '13: http://www-sop.inria.fr/reves/Basilic/2013/CDSD13/ and Ortiz-Cayon et al. '15: http://www-sop.inria.fr/reves/Basilic/2015/ODD15/
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dnarxiv/sequencing_post_processing
Algorithm for sequences consensus
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dtk/dtk-symbolic
A layer featuring basic symbolic definition of multivariate polynomials together with differentation operations.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Loki/PolyphonyECS
An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model
Last synced at: 8 months ago - Stars: 3 - Forks: 2
moex/lazylav
_Lazy lavender_ is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
serpico/3d-flow-assessment
The project contains matlab script to 1) Visualize 3D flow fields in two ways (3DHSV and 3PHS) 2) Compute structural error using eigenvectors of structure tensors
Last synced at: 8 months ago - Stars: 0 - Forks: 0
doris/doris.gitlabpages.inria.fr
Site web pour le groupe Doris Pour l'instant ne contient que la partie Android, mais à terme devrait aussi contenir la partie IOs ?
Last synced at: 8 months ago - Stars: 0 - Forks: 0
expression/expression-externals/mitlm
MIT Language Modeling Toolkit. Fork of https://github.com/mitlm/mitlm
Last synced at: 8 months ago - Stars: 0 - Forks: 0
expression/expression-externals/eigen
Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms. "Fork" of https://bitbucket.org/eigen/eigen/overview
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Simbiot/public/utilities/drone-autonome
Programmation d'un drone Intel Aero pour qu'il puisse naviguer de façon autonome dans des milieux confinés (mines abandonnées) et y recueillir des données grâce à un réseau de capteurs communiquants disposés sur le site.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
expression/expression-externals/kenlm
KenLM: Faster and Smaller Language Model Queries. Fork of https://github.com/kpu/kenlm
Last synced at: 8 months ago - Stars: 0 - Forks: 0
expression/expression-externals/easyloggingpp
Single header C++ logging library. It is extremely powerful, extendable, light-weight, fast performing, thread and type safe and consists of many built-in features. Fork of https://github.com/zuhd-org/easyloggingpp
Last synced at: 8 months ago - Stars: 0 - Forks: 0
Alpha/alphaz
AlphaZ developed at CSU and CAIRN. This repository is a migration of old sources that were in separate locations.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
melissa/melissa-sa
Large Scale Sensitivity Analysis
Last synced at: 8 months ago - Stars: 2 - Forks: 2
coquelicot/coquelicot
A Coq formalization of real analysis compatible with the standard library.
Last synced at: 8 months ago - Stars: 2 - Forks: 9
coqinterval/interval
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Last synced at: 8 months ago - Stars: 2 - Forks: 4
dtk/dtk-os
A very lightweight rolling release dtk specific os including dtk-wm as a window manager, dtk-pkg as package manager
Last synced at: 8 months ago - Stars: 0 - Forks: 0
serpico/deep-finder
Deep Finder is an original deep learning approach to localize macromolecules in cryo electron tomography images. The method is based on image segmentation using a 3D convolutional neural network.
Last synced at: 8 months ago - Stars: 0 - Forks: 1
moex/elster-old
Elster is an ontology-based picture annotation sharing system. It is used as a testbed to demonstrate original features such as lightweight ontology alignment and knowledge+social network analysis.
Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
moex/class
Material for a card game used to illustrate social knowledge evolution
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cambium/cosmo
Concurrent Separation Logic for Multicore OCaml
Last synced at: 8 months ago - Stars: 0 - Forks: 0
moex/linkex
Linkex is a tool that extracts candidate link keys from two data sources in RDF.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mosaic/publications/cauliflower
Models used in the article Azpeitia et al., Science 373, 192–197 (2021)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
tapenade/tapenade
Tapenade Automatic Differentiation Engine
Last synced at: 8 months ago - Stars: 1 - Forks: 0
cambium/iris-time-proofs
implementation and metatheory of time credits and time receipts in Iris / Coq
Last synced at: 8 months ago - Stars: 0 - Forks: 1
cado-nfs/cado-nfs
Cado-NFS, An Implementation of the Number Field Sieve Algorithm If you want to report bugs, or participate in cado-nfs development, read [this](https://sympa.inria.fr/sympa/arc/cado-nfs/2020-10/msg00006.html)
Last synced at: 8 months ago - Stars: 2 - Forks: 1
dtk/dtk-wm
A Wayland based minimal dtk oriented window manager
Last synced at: 8 months ago - Stars: 0 - Forks: 0
dlp-sif/sonarqube
An introduction to SonarQube@Inria, which relies heavily on the [TP](https://sed-bso.gitlabpages.inria.fr/heat/sonarqube.html) provided by Florent Pruvost (SED Bordeaux).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
defrost/welcome-to-defrost
Welcome information for any newcomers to Defrost Team
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/transkribus-configuration
Elements for more or less automatic configuration of Transkribus. See http://timeusage.paris.inria.fr/mediawiki/index.php/Guide_pour_l%27installation_de_la_liste_des_tags_Time_Us .
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/LSE-OD2M
Extraction de la structure logique pour le corpus des *Ouvriers des Deux Mondes* (monographies de Le Play).
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gerzaguet_public/2a_imr_wirelessnetwork_lab
Source code for IMR lab on Wireless Network.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/voronoi-diagramme
Grain 3.0 : Diagramme de Voronoï et triangulation de Delaunay
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/tables-hachage
Grain 3.0 : tables de hachage
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/machine-turing
Grain 3.0 : machine de Turing
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/TEITransformations
2 scripts to process TEI-XML files and gather into TEI or TEI CORPUS trees.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/cryptris
Cryptris, a game about asymmetric cryptography
Last synced at: 8 months ago - Stars: 0 - Forks: 0
aljanon-experiment-framework/expw
Experiment wrapper and additional libraries
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/ExportFromTranskribus
A program to export data (XML PAGE & TEI) from Transkribus using the API. A revamped version of the now archived "UsingTranskribusAPI" project.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/page2tei_TimeUS
XSL transformation to get TEI from ALTO XML exported from Transkribus.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
cigri-ctrl/cigri-expe
Scripts and files to help conduct experiments on CiGri
Last synced at: 8 months ago - Stars: 0 - Forks: 0
almanach/time-us/Transkribus-MassOCR
Simple scripts to start jobs on Transkribus through the REST API.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/voronoi-jeu
Grain 3.0 : jeu de Voronoï
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/tetris-botte-serv
Grain 3.0 : Tetris Botté côté serveur
Last synced at: 8 months ago - Stars: 0 - Forks: 0
ml_genetics/public/demoseq
Repo for DemoSEQ python code
Last synced at: 8 months ago - Stars: 0 - Forks: 0
disrpt/tony
Systems for discourse segmentation submitted to the 2019 DisRPT shared task.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
morpheme/vt-python
Python wrappers for the vt library
Last synced at: 8 months ago - Stars: 1 - Forks: 0
mecsci/grains/javaschoolweb
Une version Web de javascool
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/zero
Grain 3.0 par défaut : squelette de départ
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/automate-etats-finis-multiple-3
Grain 3.0 : automate à états finis pour les multiples de 3
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/alignement-sequences
Alignement de séquences
Last synced at: 8 months ago - Stars: 0 - Forks: 0
gappa/gappa
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Last synced at: 8 months ago - Stars: 1 - Forks: 1
mecsci/grains/codes-secrets
Grain 3.0 : codes secrets
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/carpasinivores-limejs
Grain 3.0 : les carpasinivores (version LimeJS)
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/carpasinivores
Grain 3.0 : les carpasinivores
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/snappy
Snappy: relier programmation graphique et textuelle
Last synced at: 8 months ago - Stars: 0 - Forks: 0
mecsci/grains/tetris-botte
Grain 3.0 : Tetris Botté
Last synced at: 8 months ago - Stars: 0 - Forks: 0