Explore projects

W

CS-214 / ul2024 / webapp-lib
Other

5

Updated Dec 22, 2024

5 4 0 0

Updated Dec 22, 2024
W

Marwan Azuz / webapp-lib
Other

0

Updated Dec 21, 2024

0 0 0 0

Updated Dec 21, 2024
W

CS-214 / ul2024 / webapp-template.g8
Other

0

Updated Dec 21, 2024

0 1 0 0

Updated Dec 21, 2024
C

LARA / CS550

EPFL CS550 - Formal Verification

9

Updated Dec 20, 2024

9 7 0 1

Updated Dec 20, 2024
B

LARA / bolts
Apache License 2.0

0

Updated Dec 20, 2024

0 0 0 0

Updated Dec 20, 2024
I

LARA / inox
Apache License 2.0

Solver for higher-order functional programs

0

Updated Dec 20, 2024

0 0 6 0

Updated Dec 20, 2024
L

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
S

LARA / Stainless verifier
Apache License 2.0

Program verifier for Scala. Documentation, sources on GitHub

0

Updated Dec 20, 2024

0 1 0 0

Updated Dec 20, 2024
W

Francesco Gramegna / webapp-lib
Other

0

Updated Dec 18, 2024

0 0 0 0

Updated Dec 18, 2024
W

Marwan Azuz / webapp-template.g8
Other

0

Updated Dec 17, 2024

0 0 0 0

Updated Dec 17, 2024
W

Hugh Coleman / webapp-lib
Other

0

Updated Dec 09, 2024

0 0 0 0

Updated Dec 09, 2024
W

Simon Lefort / webapp-lib
Other

0

Updated Dec 03, 2024

0 0 0 0

Updated Dec 03, 2024
C

Yawen Guan / cs214-24fa-example-project

0

Updated Nov 24, 2024

0 0 0 0

Updated Nov 24, 2024
W

lamp / cs-214 / Webapp RPS Lab
Other

0

Updated Nov 15, 2024

0

Updated Nov 15, 2024
W

test-cs214-group / Webapp Lib

0

Updated Nov 10, 2024

0 0 0 0

Updated Nov 10, 2024
P

lamp / cs-214 / Pathfinder Lab
Other

0

Updated Nov 06, 2024

0

Updated Nov 06, 2024
L

Haobin Wang / Lab_find_callback
Other

0

Updated Oct 22, 2024

0 0 0 0

Updated Oct 22, 2024
P

Haobin Wang / pre_scala

0

Updated Oct 22, 2024

0 0 0 0

Updated Oct 22, 2024
S

lamp / cs-214 / Scalashop Lab
Other

0

Updated Oct 16, 2024

0

Updated Oct 16, 2024
A

lamp / cs-214 / Anagrams Lab
Other

0

Updated Oct 09, 2024

0

Updated Oct 09, 2024