EPFL-LARA

All

96 repositories

bolts
Public
Bolts: Stainless Verified Scala Examples
Scala
•
Apache License 2.0
•13•26•3•7•Updated Sep 12, 2025Sep 12, 2025
inox
Public
Solver for higher-order functional programs, used by Stainless
Scala
•
Apache License 2.0
•21•92•12•6•Updated Sep 12, 2025Sep 12, 2025
stainless
Public
Verification framework and tool for higher-order Scala programs
scala verification proof-assistant z3 model-checking formal-methods inox smt cvc4 cvc5
Scala
•
Apache License 2.0
•57•385•286•20•Updated Sep 11, 2025Sep 11, 2025
lisa
Public
Proof assistant based on first-order logic and set theory
Scala
•
Apache License 2.0
•22•62•12•9•Updated Sep 9, 2025Sep 9, 2025
scala-smtlib
Public
Scala library for parsing and printing the SMT-LIB format
scala smt-lib
SMT
•
MIT License
•24•1•0•0•Updated Sep 8, 2025Sep 8, 2025
scallion
Public
LL(1) parser combinators in Scala
parser scala parsing pretty-print parsing-combinators pretty-printer ll1 ll1-grammar ll1-parser parser-combinators
Scala
•
Apache License 2.0
•15•60•3•0•Updated Sep 2, 2025Sep 2, 2025
silex
Public
Lexing library for Scala
Scala
•
Apache License 2.0
•6•12•0•0•Updated Sep 2, 2025Sep 2, 2025
lattices-algorithms
Public
This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
Scala
•1•2•0•0•Updated Aug 5, 2025Aug 5, 2025
CSrankings
Public
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python
•
Other
•3.7k•0•0•0•Updated May 22, 2025May 22, 2025
cs320
Public
Scala
•0•1•0•0•Updated Apr 17, 2025Apr 17, 2025
cafebabe
Public
Tiny Scala library to generate class files for the JVM
Scala
•
Other
•31•0•0•0•Updated Apr 15, 2025Apr 15, 2025
DafnyBench
Public
DafnyBench: A Benchmark for Formal Software Verification
Dafny
•
Apache License 2.0
•7•0•0•0•Updated Dec 12, 2024Dec 12, 2024
fovcom
Public
Scala
•0•0•0•0•Updated Nov 28, 2024Nov 28, 2024
scala-native-stainless-sample
Public
Scala
•0•1•0•0•Updated Nov 22, 2024Nov 22, 2024
cs550
Public
Scala
•1•2•0•0•Updated Sep 26, 2024Sep 26, 2024
asn1scc
Public
ASN1SCC: An open source ASN.1 compiler for embedded systems
F#
•
Other
•63•1•0•0•Updated Sep 17, 2024Sep 17, 2024
eprover
Public
C
•
Other
•28•0•0•0•Updated Sep 14, 2024Sep 14, 2024
stainless-site
Public
Stainless microsite
HTML
•0•0•0•0•Updated May 14, 2024May 14, 2024
compiler2024-labs-public
Public
Scala
•4•2•0•0•Updated Apr 29, 2024Apr 29, 2024
LongMap-SMT-queries
Public archive
Repository containing the SMT queries generated during the verification of the `LongMap`.
SMT
•0•0•0•0•Updated Apr 25, 2024Apr 25, 2024
PVS
Public
The People's Verification System
Common Lisp
•
GNU General Public License v2.0
•33•0•0•0•Updated Mar 28, 2024Mar 28, 2024
leon
Public
The Leon system for verification, synthesis, repair
Scala
•
Other
•44•164•24•8•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
•6•1•0•0•Updated Mar 15, 2024Mar 15, 2024
starkware-formal-proofs
Public
Lean
•
Apache License 2.0
•15•0•0•0•Updated Feb 11, 2024Feb 11, 2024
ScalaZ3
Public
DSL in Scala for Constraint Solving with Z3 SMT Solver
Scala
•
Apache License 2.0
•34•126•12•3•Updated Jun 1, 2023Jun 1, 2023
saal
Public
Example of using Stainless as a library
Scala
•0•0•0•0•Updated May 3, 2023May 3, 2023
languagetool
Public
Style and Grammar Checker for 25+ Languages
Java
•
GNU Lesser General Public License v2.1
•1.5k•0•0•0•Updated Mar 11, 2023Mar 11, 2023
asplos2022tutorial
Public
ASPLOS 2022 Tutorial on Stainless
C
•0•4•1•0•Updated May 24, 2022May 24, 2022
verified-qoi
Public archive
Formally verified QOI in Scala
scala verification stainless
0•0•0•0•Updated Mar 14, 2022Mar 14, 2022
fmcad2021tutorial
Public
FMCAD 2021 Tutorial on Stainless
TeX
•0•0•0•0•Updated Feb 28, 2022Feb 28, 2022