GitLab was successfully updated to the latest version (v17.9.2). Enjoy!

Explore projects

View CS320 project

LARA / CS320

Computer language processing

23

Updated Mar 20, 2025

23 8

Updated Mar 20, 2025
View NumAnalysisIpynb project

SCI-SB-SD / NumAnalysisIpynb

0

Updated Mar 17, 2025

0

Updated Mar 17, 2025
View finetuning project

Alexa Ray Lowe / finetuning

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View Sausage project

SCITAS / public / Sausage
GNU General Public License v3.0 or later

0

Updated Mar 11, 2025

0 0 0

Updated Mar 11, 2025
View finetuning project

SaCS / Semester-Projects / fall24 / finetuning

0

Updated Mar 04, 2025

0 1 0 0

Updated Mar 04, 2025
View ofl-pretraining project

SaCS / Semester-Projects / fall24 / ofl-pretraining
MIT License

0

Updated Jan 29, 2025

0 0 0 0

Updated Jan 29, 2025
View diloco-swarm project

SaCS / Semester-Projects / fall24 / diloco-swarm
MIT License

0

Updated Jan 10, 2025

0 0 0 0

Updated Jan 10, 2025
View CS550 project

LARA / CS550

EPFL CS550 - Formal Verification

10

Updated Dec 22, 2024

10 7 0 1

Updated Dec 22, 2024
View lisa project

LARA / lisa
Other

Proof assistant based on first-order logic and set theory

0

Updated Dec 20, 2024

0 0 0 0

Updated Dec 20, 2024
View ProjetPCSC-TraitementImageSound project

Karl Abdelnour / ProjetPCSC-TraitementImageSound

0

Updated Dec 13, 2024

0 0 0 0

Updated Dec 13, 2024
View ee390a-final-project-pareto project

Denisa-Andreea Constantinescu / ee390a-final-project-pareto

1

Updated Dec 12, 2024

1 0 0 0

Updated Dec 12, 2024
View PHYS-743 - Lecture project

SCITAS / Courses / PHYS-743 / PHYS-743 - Lecture

0

Updated Oct 24, 2024

0 0 0 0

Updated Oct 24, 2024
View Introduction to Linux project

SCITAS / Courses / Introduction to Linux

0

Updated Oct 16, 2024

0 0 0 0

Updated Oct 16, 2024
View project1 project

CS433 / project1

0

Updated Oct 11, 2024

0 0 0 0

Updated Oct 11, 2024
View CS550 project

Kacper Feliks Korban / CS550

EPFL CS550 - Formal Verification

0

Updated Oct 03, 2024

0 0 0 0

Updated Oct 03, 2024
View Using the clusters project

SCITAS / Courses / Using the clusters

0

Updated Jun 05, 2024

0 0 1 0

Updated Jun 05, 2024
View Compiling code and using MPI - lecture project

SCITAS / Courses / Compiling code and using MPI / Compiling code and using MPI - lecture

0

Updated May 27, 2024

0 0 0 0

Updated May 27, 2024
View Data management with git project

SCITAS / Courses / Data management with git

0

Updated May 23, 2024

0 0 0 0

Updated May 23, 2024
View CS320-24 project

Dimi Racordon / CS320-24

1

Updated May 01, 2024

1 2 0 0

Updated May 01, 2024
View Formal Verification project

Auguste Poiroux / Formal Verification

0

Updated Jan 06, 2024

0 0 0 0

Updated Jan 06, 2024