EPFL-LARA

stainless

Verification framework and tool for higher-order Scala programs

leon

The Leon system for verification, synthesis, repair

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

inox

Solver for higher-order functional programs

scallion

LL(1) parser combinators in Scala

lisa

Proof assistant based on first-order logic and set theory

bolts

Bolts: Stainless Verified Scala Examples

silex

Lexing library for Scala

SystemFR

System FR: Formalized Foundations for Stainless

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

OCBSL

A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.

compiler2024-labs-public

cs550

lattices-algorithms

This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices

silex-proofs

Proofs on lexing with derivatives and zippers

STIX-showcase

scala-smtlib

Scala library for parsing and printing the SMT-LIB format

cafebabe

Tiny Scala library to generate class files for the JVM

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`.

mlton

The MLton repository

PVS

The People's Verification System

report-sample

Report template for EPFL students

saal

Example of using Stainless as a library

starkware-formal-proofs

verified-qoi

Formally verified QOI in Scala