gitlab.inria.fr
gerzaguet_public/abstractsdrsfmreceiver.jl
Git folder for FM receiver in Julia
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
ciao/pmns-for-sidh
Polynomial Modular Number System for SIDH
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
sibr/projects/tfgl_interop
Tfgl interoperability dependencies and cuda code
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
sed-rennes/gforge-to-gitlab-scripts
Some scripts to migrate content (trackers) from gforge to gitlab
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
dnarxiv/workflow_commands
Commands managing the whole process
Last synced at: about 1 year ago - Stars: 1 - Forks: 0
nef/diskpp
DiSk++, a library for Discontinuous Skeletal methods
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
gazelle/specific-tools/connectivity-test-scripts
Scripts to facilitate connectivity tests during an online test event.
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
dnarxiv/synthesis_modules
Fragments design, Simulators of synthesis and assembly
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
dnarxiv/sequencing_post_processing
Algorithm for sequences consensus
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
dtk/dtk-symbolic
A layer featuring basic symbolic definition of multivariate polynomials together with differentation operations.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
Loki/PolyphonyECS
An experimental GUI programming toolkit based on the Entity-Component-System (ECS) model
Last synced at: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
expression/expression-externals/mitlm
MIT Language Modeling Toolkit. Fork of https://github.com/mitlm/mitlm
Last synced at: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
melissa/melissa-sa
Large Scale Sensitivity Analysis
Last synced at: about 1 year ago - Stars: 2 - Forks: 2
learninglab/mooc-rr/moocrr-reproducibility-study
Last synced at: about 1 year ago - Stars: 1 - Forks: 1
coquelicot/coquelicot
A Coq formalization of real analysis compatible with the standard library.
Last synced at: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year 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: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
moex/class
Material for a card game used to illustrate social knowledge evolution
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
cambium/cosmo
Concurrent Separation Logic for Multicore OCaml
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
mosaic/publications/cauliflower
Models used in the article Azpeitia et al., Science 373, 192–197 (2021)
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
tapenade/tapenade
Tapenade Automatic Differentiation Engine
Last synced at: about 1 year ago - Stars: 1 - Forks: 0
orpailleur/sofia-docker
A Dockerisation of Sofia
Last synced at: about 1 year ago - Stars: 1 - Forks: 0
cambium/iris-time-proofs
implementation and metatheory of time credits and time receipts in Iris / Coq
Last synced at: about 1 year 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: about 1 year ago - Stars: 2 - Forks: 1
dtk/dtk-wm
A Wayland based minimal dtk oriented window manager
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
defrost/welcome-to-defrost
Welcome information for any newcomers to Defrost Team
Last synced at: about 1 year 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: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
gerzaguet_public/2a_imr_wirelessnetwork_lab
Source code for IMR lab on Wireless Network.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/voronoi-diagramme
Grain 3.0 : Diagramme de Voronoï et triangulation de Delaunay
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/tables-hachage
Grain 3.0 : tables de hachage
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/machine-turing
Grain 3.0 : machine de Turing
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/cryptris
Cryptris, a game about asymmetric cryptography
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
aljanon-experiment-framework/expw
Experiment wrapper and additional libraries
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
almanach/time-us/page2tei_TimeUS
XSL transformation to get TEI from ALTO XML exported from Transkribus.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
cigri-ctrl/cigri-expe
Scripts and files to help conduct experiments on CiGri
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
almanach/time-us/Transkribus-MassOCR
Simple scripts to start jobs on Transkribus through the REST API.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/crepes
Grain 3.0 : pile de crêpes
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/voronoi-jeu
Grain 3.0 : jeu de Voronoï
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/tetris-botte-serv
Grain 3.0 : Tetris Botté côté serveur
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
ml_genetics/public/demoseq
Repo for DemoSEQ python code
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
disrpt/tony
Systems for discourse segmentation submitted to the 2019 DisRPT shared task.
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
morpheme/vt-python
Python wrappers for the vt library
Last synced at: about 1 year ago - Stars: 1 - Forks: 0
mecsci/grains/javaschoolweb
Une version Web de javascool
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/zero
Grain 3.0 par défaut : squelette de départ
Last synced at: about 1 year 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: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/alignement-sequences
Alignement de séquences
Last synced at: about 1 year 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: about 1 year ago - Stars: 1 - Forks: 1
mecsci/grains/codes-secrets
Grain 3.0 : codes secrets
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/carpasinivores-limejs
Grain 3.0 : les carpasinivores (version LimeJS)
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/carpasinivores
Grain 3.0 : les carpasinivores
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/snappy
Snappy: relier programmation graphique et textuelle
Last synced at: about 1 year ago - Stars: 0 - Forks: 0
mecsci/grains/tetris-botte
Grain 3.0 : Tetris Botté
Last synced at: about 1 year ago - Stars: 0 - Forks: 0