Explore projects
-
solverstack / Chameleon
OtherDense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
Updated
-
The Openvibe Group / meta
GNU Affero General Public License v3.0The meta repository for building OpenViBE
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 -
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 -
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
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 -
dtk / dtk-core
BSD 3-Clause "New" or "Revised" LicensedtkCore provides fundamental tools to build modular platform.
Updated -
belenios / belenios
GNU Affero General Public License v3.0Verifiable online voting system http://www.belenios.org
Updated -
Updated
-
Updated
-
discovery / enoslib
GNU General Public License v3.0 onlyA library to build experimental frameworks on multiple platforms
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 -
Updated
-
potential energy and gradients of potential energy of a set of springs
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 -
Updated
-
-
Updated