Explore projects
-
gem5-nop / gem5
BSD 3-Clause "New" or "Revised" LicenseUpdated -
BioImage-IT / sampletool
BSD 3-Clause "New" or "Revised" LicenseA sample tool to show the git lab configuration of a BioImage-IT compatible tool
Updated -
-
SOFA plugin to track the surface of non-rigid objects using RGB-D camera.
Updated -
A light version of DSPFilters : https://github.com/vinniefalco/DSPFilters.
Updated -
Updated
-
Ocan Sankur / symrob
GNU General Public License v3.0 or laterTool for timed automata verification and robustness analysis
Updated -
Updated
-
-
A wrapper around conda, tweaked to ease our users experience and prevent them from messing up their environments
Updated -
Updated
-
BOITO Francieli / access-pattern-matching
MIT LicenseCompanion repository for the "On server-side file access pattern matching" paper, by Francieli Zanon Boito et al.
Updated -
Updated
-
SOFA plugin to track the surface of non-rigid objects using RGB-D camera.
Updated -
This is gnu mp + a few commonplace hacks to enable integers larger than 2^37 bits. This breaks the gmp ABI, so you have to know what you're doing.
Updated -
BERTOT Yves / coquelicot
OtherA Coq formalization of real analysis compatible with the standard library.
Updated -
BERTOT Yves / interval
CeCILL-C Free Software License AgreementCoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
patate / patate
OtherThe C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.
Updated -