Explore projects
-
Updated
-
Updated
-
-
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
KATIM Anas / sparqlprov-demo
Apache License 2.0Updated -
Paracirce / ParaCirce
GNU Affero General Public License v3.0A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated -
learninglab / serious-game / PhoneImpact
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
-
CORSE / easytracker
Affero General Public License v1.0Updated -
DE VRIES Sjoerd / seamless-tools
MIT LicenseUpdated -
Gözükan Hande / cartolabe-data
BSD 3-Clause "New" or "Revised" LicenseData Processing for Cartolabe
Updated -
Updated
-
Machine learning for population genetics / private / dnadna
CeCILL-C Free Software License AgreementDeep Neural Architecture for DNA.
Updated -
UpdatedUpdated
-
-
PAPERMAN Charles / vizibridge
MIT LicenseUpdated -
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