Explore projects
-
CERUTTI Guillaume / lsm3d
CeCILL Free Software License Agreement v2.0Updated -
Updated
-
Updated
-
Updated
-
thoth / spams-devel
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
VASSEUR Valentin / isd
MIT LicenseAn implementation of Dumer's algorithm for Information Set Decoding.
Updated -
A MoveIt controller to connect the moveit API and GUI with the moveit_trajectory_interface interface
Updated -
Auctus Team / Components / Motion planning / kdl_trajectories
CeCILL Free Software License Agreement v2.1Custom trajectory generation library using KDL
Updated -
-
GATB / gatb-dsk
GNU Affero General Public License v3.0Updated -
GATB / simka
GNU Affero General Public License v3.0Updated -
Updated
-
DORNIER Martin / psp-landmark
MIT LicenseOfficial Implementation for "Encoding in Style: a StyleGAN Encoder for Image-to-Image Translation" (CVPR 2021) presenting the pixel2style2pixel (pSp) framework
Updated -
TASSI Enrico / coq
OtherA Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
GeCoS core provides the core IR model (CDFG), C Front-end, C code generator as well as a set of generic code analysis and transformations and other utils.
Updated