Skip to content
GitLab
Explore
Sign in
Explore
Projects
Explore projects
All
Most starred
Trending
Scala
Any
AMPL
Assembly
BibTeX
C
C#
C++
CMake
CSS
Dockerfile
Go
HTML
Java
JavaScript
Jupyter Notebook
Lua
Makefile
MATLAB
Python
R
Scala
Shell
Tcl
TeX
VHDL
XSLT
Most stars
Sort by
Updated date
Last created
Name
Name, descending
Most stars
Oldest updated
Oldest created
Hide archived projects
Show archived projects
Show archived projects only
C
LARA /
CS550
EPFL CS550 - Formal Verification
9
Updated
Dec 21, 2023
9
3
0
1
Updated
Dec 21, 2023
C
SaCS / cs-449-sds-public / project /
Cs449 Template M1
9
Updated
Mar 16, 2022
9
32
0
0
Updated
Mar 16, 2022
C
LARA /
CS-206 Demos
3
Updated
Jun 12, 2023
3
2
2
5
Updated
Jun 12, 2023
C
Dimi Racordon /
CS320-24
1
Updated
May 01, 2024
1
2
0
0
Updated
May 01, 2024
C
SaCS / cs-449-sds-public / project /
Cs449 Template M2 2022
1
Updated
Apr 27, 2022
1
17
0
0
Updated
Apr 27, 2022
S
Guillaume Carraux /
sandfall
0
Updated
Feb 01, 2024
0
0
0
0
Updated
Feb 01, 2024
T
lamp / cs-214 /
Text Editor
0
Updated
Dec 13, 2023
0
0
0
0
Updated
Dec 13, 2023
L
LARA /
lisa
Other
Proof assistant based on first-order logic and set theory
0
Updated
Dec 28, 2023
0
0
0
0
Updated
Dec 28, 2023
F
Auguste Poiroux /
Formal Verification
0
Updated
Jan 06, 2024
0
0
0
0
Updated
Jan 06, 2024
S
Yichen Xu /
scala3-example
0
Updated
Dec 20, 2023
0
0
0
0
Updated
Dec 20, 2023
B
lamp / cs-214 /
Boids Lab
0
Updated
Sep 29, 2023
0
0
0
0
Updated
Sep 29, 2023
D
lamp / cs-214 /
Degrees Prime Final Exam Dry Run
0
Updated
Dec 18, 2023
0
0
0
0
Updated
Dec 18, 2023
F
lamp / cs-214 /
Find HOF Callback
0
Updated
Oct 04, 2023
0
0
0
0
Updated
Oct 04, 2023
B
lamp / cs-214 /
Boids Par Callback
0
Updated
Oct 28, 2023
0
0
0
0
Updated
Oct 28, 2023
H
lamp / cs-214 /
Huffman Coding
0
Updated
Oct 13, 2023
0
0
0
0
Updated
Oct 13, 2023
C
lamp / cs-214 /
Calculator Lab
0
Updated
Oct 04, 2023
0
0
0
0
Updated
Oct 04, 2023
S
lamp / cs-214 /
Streams Lab
0
Updated
Nov 08, 2023
0
0
0
0
Updated
Nov 08, 2023
F
lamp / cs-214 /
Find Lazy Callback
0
Updated
Nov 08, 2023
0
0
0
0
Updated
Nov 08, 2023
F
lamp / cs-214 /
Find Lab
0
Updated
Sep 22, 2023
0
0
0
0
Updated
Sep 22, 2023
D
lamp / cs-214 /
Degrees Converter Lab
0
Updated
Sep 19, 2023
0
0
0
0
Updated
Sep 19, 2023
Next