Explore projects
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Archived 0Updated
-
Algiane / guix-hpc
GNU General Public License v3.0 onlyExtensions of GNU Guix for high-performance computing.
Archived 0Updated -
-
Archived 0Updated
-
Z_archived-auctus / panda / velocity_qp
CeCILL Free Software License Agreement v2.1Example of a controller using a QP at the joint velocity level
Archived 0Updated -
Z_archived-auctus / panda / torque-qp-extended / qp_solver
CeCILL Free Software License Agreement v2.1wrapper for qpOASES solver
Archived 0Updated -
Z_archived-auctus / panda / torque-qp-extended / torque_qp
CeCILL Free Software License Agreement v2.1Example of a controller using a QP at the torque level
Archived 2Updated -
Description of the Franka Emika Panda robot with identified inertial parameters
Archived 0Updated -
Hans-Jörg Schurr / veriT-schedgen
BSD 3-Clause "New" or "Revised" LicenseArchived 0Updated -
-
TousAntiCovid sources / Backend Server
Mozilla Public License 2.0Archived 0Updated -
-
PoC at creating a VSCode extension providing an Elpi Inspector
Archived 1Updated -
Julien Wintz / elpi
OtherArchived 0Updated -
OBSOLETE: The Grew-match tool is now based on a new backend called grew_match_back (https://gitlab.inria.fr/grew/grew_match_back)
Archived 0Updated -