EPFL-LARA's repositories
scallion-proofs
Proofs of correctness for Scallion (https://github.com/epfl-lara/scallion)
verified-2048
A 2048 clone verified by Stainless
stainless-project.g8
Giter8 template for Stainless-enabled projects
silex-proofs
Proofs on lexing with derivatives and zippers
verifythis2020
VerifyThis2020 Challenge in Stainless
Deep_Learning_On_Code_With_A_Graph_Vocabulary
Code to reproduce the experiments in the paper Deep Learning On Code With A Graph Vocabulary
florian-cassayre-semester-project
Semester Project of Florian Cassayre in LARA (EPFL), 2020
Light-Client-Stainless
Verification of Tendermint Light Client by Stevan Ognjanovic as part of MSc thesis at EPFL, 2020
bachelor_project
A text-based game framework written in Scala
bitcoin-s-core
Bitcoin Implementation in Scala (core module)
cakeml
CakeML: A Verified Implementation of ML
dotty
Research compiler that will become Scala 3
mantis
A Scala based client for Ethereum Classic.
okasaki
Scala implementation of data structures from Chris Okasaki's book
polyml
Poly/ML
toolc
Reference implementation formerly used in Computer Language Processing EPFL Course
TwoPhase
Two Phase Commit in Stainless
wasmer
High-Performance WebAssembly JIT interpreter