Explore projects
-
-
Updated
-
-
Genom3 component used to get pose and images asynchronously from Intel RealSense T265 sensor. Pose is published at 200Hz. Processing on images can be enabled to detect AprilTags and output the desired parameters (corners, center, pose, message,...)
Updated -
HERBELIN Hugo / 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 -
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
KerA / LogCabin
OtherLogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata.
Updated -
KerA / gtest
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
QTempMiner is an API that implement the mining of sequences of events timestamped with intervals. It extracts the typical patterns frequently occurring in a set of sequences.
Updated -
-
-
HERBELIN Hugo / flocq
OtherFlocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
Updated -
SIBR / Libs / rapidxml
MIT LicenseUpdated -
Serpico / cimgdenoising
GNU General Public License v3.0 or laterDenoising library
#denoising #2D #3D #c++
Updated -
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated