Explore projects
-
Updated
-
Updated
-
pleiade / Metage2Metabo
OtherUpdated -
Paracirce / ParaCirce
GNU Affero General Public License v3.0A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated -
Updated
-
icov / Src / ICOV-core
GNU Affero General Public License v3.0Core part of the ADT project ICOV (Interactive Coder for Omnidirectional Videos) All the source code in this project are meant to be shared publicly
Updated -
Updated
-
-
LOLA / atelier-lola
GNU General Public License v3.0 or laterUpdated -
LOLA / Lola ToolBox
GNU General Public License v3.0 or laterToolBox to prepare file before sending it to lola. It compress and crypt dataset and bordereau.
Updated -
MOSAIC / bvpy
OtherBvpy is a python library, based on FEniCS, Gmsh & Meshio, to easily implement and study numerically Boundary Value Problems and Initial Boundary Value Problems through the Finite Element Method.
Updated -
Docker environment for perception nodes for bodies: front_fisheye_2d_body_pose_detector, 3d_body_tracker, body_to_face_mapper, group_detector
Updated -
pydisk / Querybuilder
BSD 3-Clause "New" or "Revised" LicenseAn SQL querybuilder written in Python.
Updated -
Updated
-
MOSAIC / mosaic-commons
CeCILL-C Free Software License AgreementUpdated -
Gappa / gappa
CeCILL Free Software License Agreement v2.1Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
Gappa / coq
OtherA Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated