Repositories list

• cs550

  Public
  Scala

  •11 fork•33 stars•00 issues•00 pull requests•Updated Oct 2, 2026Oct 2, 2026

• stainless

  Public
  Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

  scalaverificationproof-assistant+ 7

  scalaverificationproof-assistantz3model-checkingformal-methodsinoxsmtcvc4cvc5

  Scala

  •

  Apache License 2.0

  •5959 forks•404404 stars•311311 issues•3434 pull requests•Updated Sep 18, 2026Sep 18, 2026

• lisa

  Public
  Proof assistant based on first-order logic and set theory

  Scala

  •

  Apache License 2.0

  •2424 forks•7070 stars•1313 issues•1111 pull requests•Updated Sep 16, 2026Sep 16, 2026

• inox

  Public
  Solver for higher-order functional programs, used by Stainless

  Scala

  •

  Apache License 2.0

  •2323 forks•9797 stars•1313 issues•99 pull requests•Updated Sep 7, 2026Sep 7, 2026

• scala-smtlib

  Public
  Scala library for parsing and printing the SMT-LIB format

  scalasmt-lib

  scalasmt-lib

  Scala

  •

  MIT License

  •2626 forks•22 stars•00 issues•11 pull request•Updated Sep 3, 2026Sep 3, 2026

• dotty

  Public
  {d : Dotty with hasRefinements(d)} - Fork of Dotty

  Scala

  •

  Apache License 2.0

  •1.2k1.2k forks•00 stars•00 issues•00 pull requests•Updated Sep 3, 2026Sep 3, 2026

• lattices-algorithms

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

  Scala

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jun 16, 2026Jun 16, 2026

• scallion

  Public
  LL(1) parser combinators in Scala

  parserscalaparsing+ 7

  parserscalaparsingparser-combinatorspretty-printparsing-combinatorspretty-printerll1ll1-grammarll1-parser

  Scala

  •

  Apache License 2.0

  •1414 forks•6464 stars•33 issues•00 pull requests•Updated May 11, 2026May 11, 2026

• silex

  Public
  Lexing library for Scala

  Scala

  •

  Apache License 2.0

  •66 forks•1212 stars•00 issues•00 pull requests•Updated May 11, 2026May 11, 2026

• cafebabe

  Public
  Tiny Scala library to generate class files for the JVM

  Scala

  •

  Other

  •3030 forks•00 stars•00 issues•00 pull requests•Updated Apr 15, 2025Apr 15, 2025

• fovcom

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2024Nov 28, 2024

• scala-native-stainless-sample

  Public
  Scala

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 22, 2024Nov 22, 2024

• compiler2024-labs-public

  Public
  Scala

  •44 forks•22 stars•00 issues•00 pull requests•Updated Apr 29, 2024Apr 29, 2024

• leon

  Public
  The Leon system for verification, synthesis, repair

  Scala

  •

  Other

  •4343 forks•167167 stars•2424 issues•66 pull requests•Updated Mar 18, 2024Mar 18, 2024

• SciFe

  Public
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants

  Scala

  •

  GNU General Public License v2.0

  •66 forks•11 star•00 issues•00 pull requests•Updated Mar 15, 2024Mar 15, 2024

• ScalaZ3

  Public
  DSL in Scala for Constraint Solving with Z3 SMT Solver

  Scala

  •

  Apache License 2.0

  •3333 forks•127127 stars•1212 issues•33 pull requests•Updated Jun 1, 2023Jun 1, 2023

• saal

  Public
  Example of using Stainless as a library

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 3, 2023May 3, 2023

• OCBSL

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

  Scala

  •00 forks•44 stars•00 issues•00 pull requests•Updated Jan 26, 2022Jan 26, 2022

• STIX-showcase

  Public
  Scala

  •

  Apache License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 18, 2022Jan 18, 2022

• StainlessFit

  Public
  Stainless directly built on System FR, with standalone front-end

  scalaverificationtype-theory+ 4

  scalaverificationtype-theoryz3formal-methodssmtstainless

  Scala

  •

  Apache License 2.0

  •77 forks•55 stars•1717 issues•22 pull requests•Updated Oct 26, 2021Oct 26, 2021

• actors-in-stainless

  Public
  Actor System library for Stainless which runs on Akka

  scalaactorsakka+ 2

  scalaactorsakkaverificationstainless

  Scala

  •

  Apache License 2.0

  •11 fork•55 stars•22 issues•00 pull requests•Updated Feb 25, 2021Feb 25, 2021

• Light-Client-Stainless

  Public
  Verification of Tendermint Light Client by Stevan Ognjanovic as part of MSc thesis at EPFL, 2020

  Scala

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Nov 12, 2020Nov 12, 2020

• minihol

  Public
  Scala

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 18, 2020Aug 18, 2020

• scallion-python-parser

  Public
  Parser for python syntax developed using Scallion, a LL(1) parsing library written in Scala

  Scala

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jun 17, 2020Jun 17, 2020

• stainless-project.g8

  Public
  Giter8 template for Stainless-enabled projects

  scalasbtgiter8+ 1

  scalasbtgiter8stainless

  Scala

  •00 forks•33 stars•11 issue•00 pull requests•Updated Jun 17, 2020Jun 17, 2020

• florian-cassayre-semester-project

  Public
  Semester Project of Florian Cassayre in LARA (EPFL), 2020

  Scala

  •11 fork•11 star•00 issues•00 pull requests•Updated Jun 17, 2020Jun 17, 2020

• verifythis2020

  Public
  VerifyThis2020 Challenge in Stainless

  Scala

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Feb 15, 2020Feb 15, 2020

• TwoPhase

  Public
  Two Phase Commit in Stainless

  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 29, 2019Nov 29, 2019

• funprog-lambda

  Public
  Scala

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 27, 2019Nov 27, 2019

• bitcoin-s-verification

  Public
  Scala

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 8, 2019Jul 8, 2019