Explore projects
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Updated
-
ACG / dev / ACGtk
CeCILL Free Software License Agreement v2.0Sources of the Abstract Categorial Development toolkit.
Updated -
pydisk / Querybuilder
BSD 3-Clause "New" or "Revised" LicenseAn SQL querybuilder written in Python.
Updated -
Théophile BASTIAN / staticdeps
GNU General Public License v3.0 or laterUpdated -
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 -
BERNARD Samuel / Simuscale
GNU Affero General Public License v3.0Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires
Updated -
kernelo-mistis / kernelo-gllim-is
CeCILL-C Free Software License AgreementUpdated -
Updated
-
Back to the Trees / plantinator
GNU General Public License v3.0 or laterUpdated -
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
MONTAGU Benoit / function_graphs
GNU General Public License v3.0 or laterAbstract domain for function graphs, and fixpoint solvers based on them
Updated -
Updated
-
PAPERMAN Charles / pysemigroup
GNU General Public License v2.0 or laterUpdated -
CORSE / easytracker
Affero General Public License v1.0Updated -
SHENGHAO Yuan / CertrBPF-JIT
GNU General Public License v2.0 or laterUpdated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
-
Romain Garbage / guix
GNU General Public License v3.0 onlyUpdated