EPFL-LARA's repositories
rust-stainless
An experimental Rust frontend for Stainless
StainlessFit
Stainless directly built on System FR, with standalone front-end
actors-in-stainless
Actor System library for Stainless which runs on Akka
asplos2022tutorial
ASPLOS 2022 Tutorial on Stainless
lattices-algorithms
This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
scala-smtlib
Scala library for parsing and printing the SMT-LIB format
fmcad2021tutorial
FMCAD 2021 Tutorial on Stainless
languagetool
Style and Grammar Checker for 25+ Languages
LongMap-SMT-queries
Repository containing the SMT queries generated during the verification of the `LongMap`.
report-sample
Report template for EPFL students
stainless-site
Stainless microsite
Apache-2.0000
verified-qoi
Formally verified QOI in Scala