Explore projects
-
CoqInterval / 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 -
cartolabe / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
Gözükan Hande / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
Updated
-
PTVR_Public / PTVR_Researchers
GNU General Public License v3.0 or laterPerception Toolbox for Virtual Reality (PTVR) Researchers Project
Updated -
Updated
-
Updated
-
pydisk / Networkdisk
BSD 3-Clause "New" or "Revised" LicenseUpdated -
CORSE / easytracker
Affero General Public License v1.0Updated -
Paul Berg / bedrock
GNU Affero General Public License v3.0UpdatedUpdated -
Flocq / 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 -
Updated
-
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
pleiade / Metage2Metabo
OtherUpdated -
Paracirce / ParaCirce
GNU Affero General Public License v3.0A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated