Explore projects
-
Updated
-
BESSON Frederic / 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 -
Formations / CMake
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
DUFOUR Quentin / Wide Tor
MIT LicenseUpdated -
FICHET Alban / brdf-tools
GNU General Public License v3.0 onlyVarious tools / plugins for some BRDF
Updated -
Public repository where to store the materials for the students of the Python4NLP summer school.
Updated -
MA Anji / visual_foresight
MIT LicenseVisual Foresight: Model-Based Deep Reinforcement Learning for Vision-Based Robotic Control
Updated -
-
almanach / Alexina / alexina-tools
Lesser General Public License For Linguistic ResourcesUpdated -
Efficient implementation of Karp--Sipser reduction rules for matching in bipartite graphs and general undirected graphs.
Updated -
BLOT Valentin / qvox
CeCILL Free Software License Agreement v2.0Volumetric data visualizer and editor
Updated -
BLOT Valentin / QuasiAffineTransform
GNU General Public License v2.0 or laterDigital Quasi-Affine Transform code
Updated -
-
This subproject provides source to source transformations aimed at improving the performance of arithmetic operations/operators for High Level Synthesis
Updated -
BEN AMOR Slim / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
eigen / eigen-mirror
Mozilla Public License 2.0Mirror of eigen for CI, nightly builds, code analysis, etc.
UpdatedUpdated -
Computes 3D optical flow in 3D fluorescence microscopy volume.
Updated -