Explore projects
-
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
Updated
-
starpu / starpu
GNU Lesser General Public License v2.1 onlyA Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Updated
-
-
mpfi / MPFI
GNU General Public License v3.0 onlyMPFI is a library for arbitrary precision interval arithmetic; it is written in C and is based on MPFR.
Updated -
The Openvibe Group / meta
GNU Affero General Public License v3.0The meta repository for building OpenViBE
Updated -
Updated
-
Updated
-
discovery / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
Updated -
dtk / dtk-core
BSD 3-Clause "New" or "Revised" LicensedtkCore provides fundamental tools to build modular platform.
Updated -
Updated
-
The Openvibe Group / designer
GNU Affero General Public License v3.0The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
Updated -
Updated
-
-
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/
Updated -
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated