Hamza Remmal's repositories
dotty
The Scala 3 compiler, also known as Dotty.
Language:ScalaApache-2.0000
lisa
Proof assistant based on first-order logic and set theory
Language:ScalaApache-2.0000
moodle
Moodle - the world's open source learning platform
Language:PHPGPL-3.0000
superpacman
[CS-107] Introduction à la Programmation - 2020
tchu
[CS-108] Pratique de la programmation OO - 2021
Language:Java000