Explore projects
-
Gazelle / Public / Framework / WS Clients
Apache License 2.0Various Java webservice clients to contact Gazelle applications.
Updated -
Gazelle / Public / Validation / Schematron Validator
Apache License 2.0Validation service for XML documents, based on Schematron description.
Updated -
Updated
-
kstar / kstar
CeCILL Free Software License Agreement v1.0KSTAR is a source-to-source C/C++ compiler that translates OpenMP pragmas calls to parallel programming libraries like StarPU or KAAPI.
Updated -
Updated
-
-
-
Mike Rye / Dalood
MIT LicenseUpdated -
-
Coquelicot / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
-
Damaris / damaris
OtherThis is the public project for Damaris. In this project the main line of source codes. The latest version of the documentation is stored here: https://project.inria.fr/damaris/documentation/.
Updated -
Updated
-
Voronoi Diagram of Orthogonal Objects in 2D and 3D using the max-norm
Updated -
Updated
-
Updated
-
Updated
-
CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries
Updated -
Updated