Explore projects
-
Yalep / Yalep
GNU General Public License v3.0 or laterYalep is a micro language based on Lean for teaching mathematical high-school proofs
Updated -
-
Updated
-
OSUG / RESIF / avy
GNU Affero General Public License v3.0Updated -
LIPhy / quanti-fret
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Mathdoc / ptfs / ptf-vuejs
GNU Affero General Public License v3.0Updated -
Updated
-
Mathdoc / ptfs / ptf-site-editor
GNU Affero General Public License v3.0Updated -
This project intends to set up the common portal for internally managing the data produced by the PermaFrance observatory
Updated -
Mathdoc / ptfs / ptf-site-traduction
GNU Affero General Public License v3.0Updated -
-
LabNBook / LabNBook-code
GNU Affero General Public License v3.0Updated -
OSUG / RESIF / fdsn_plugs
GNU General Public License v3.0 or laterUpdated -
OSUG / RESIF / Sigma
GNU Affero General Public License v3.0Updated -
Adrien Prost-Boucle / nnawaq
European Union Public License 1.2Neural Network Adequate hardWare Architectures for Quantization
Updated -
Updated
-
Mathdoc / ptfs / ptf-app-ptf
GNU Affero General Public License v3.0Updated -
moodle-plugins / moodle-report_certaintyquizzes
GNU General Public License v3.0 onlyUpdated -
moodle-plugins / moodle-qbehaviour_certaintywithstudentfbdeferred
GNU General Public License v3.0 onlyUpdated
