Explore projects
-
kernelo-mistis / kernelo-gllim-is
CeCILL-C Free Software License AgreementUpdated -
Updated
-
Description of the GenOuest core facility, policy, rules etc...
Updated -
learninglab / epoc / epoc-mobile
CeCILL-B Free Software License AgreementUpdated -
Formations / Cpp / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
discovery / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
Updated -
Updated
-
Updated
-
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
-
dtk / dtk-widgets
BSD 3-Clause "New" or "Revised" LicenseA set of commonly used widgets written using Qt5.
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 -
faust group / faust
BSD 2-Clause "Simplified" LicenseThe FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr
Updated -
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
scotch / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
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