Explore projects
-
IRiSC Open Data and Software / 2021-nofakes
MIT LicenseUpdated -
Georgios Kafanas / ReFrame
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Alvaro Mario Veizaga Campero / dsl_rimay
MIT LicenseDomain specific language for writing functional requirements
Updated -
ADARS / DFA3+
MIT LicenseData from experiments conducted with the DFA3+ algorithm using the ARGoS simulator and real world robots (Crazyflies and E-Puck2).
Updated -
Updated
-
SuSy-EnGaD: Surveillance System Enhanced by Games of Drones.
Updated -
Updated
-
APSIA / DeVoS
GNU Affero General Public License v3.0Updated -
-
Updated
-
Updated
-
IRiSC Open Data and Software / 2022-02-Decepticon_Pseudonymizer
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
Updated
-
Updated
-
SaToSS / HPC Tamarin
Creative Commons Zero v1.0 UniversalTamarin Prover on the Luxembourg HPC
Updated