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 -
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
math-comp / math-comp
CeCILL-B Free Software License AgreementGitLab mirror of https://github.com/math-comp/math-comp
Updated -
Marc Shapiro / cobbledb
GNU General Public License v3.0 or laterUpdated -
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 -
MOSAIC / timagetk
GNU General Public License v3.0 or laterTimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modellers and computer scientists.
The library offers an array of tools for image enhancement, transformation, and feature extraction. From mathematical morphology to filtering algorithms and peak detection, they refine image data and assist in critical processing workflows for various analysis needs.
Updated -
Updated
-
Updated
-
faust group / lazylinop
BSD 3-Clause "New" or "Revised" LicenseA Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)
Updated -
-
Skrid_group / frontend
MIT LicenseUpdated -
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
CHROMA Public / NAMO / namoros
MIT LicenseUpdated -
The Openvibe Group / meta
GNU Affero General Public License v3.0The meta repository for building OpenViBE
Updated -
Updated
-
Updated
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated