Pinned Repositories
bolts
Bolts: Stainless Verified Scala Examples
inox
Solver for higher-order functional programs, used by Stainless
leon
The Leon system for verification, synthesis, repair
lisa
Proof assistant based on first-order logic and set theory
scala-smtlib
Scala library for parsing and printing the SMT-LIB format
ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
scallion
LL(1) parser combinators in Scala
smart
Verification and Generation of Smart Contracts using Stainless and Scala
stainless
Verification framework and tool for higher-order Scala programs
treenet
Recursive Neural Networks for PyTorch
EPFL-LARA's Repositories
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs
epfl-lara/leon
The Leon system for verification, synthesis, repair
epfl-lara/ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
epfl-lara/inox
Solver for higher-order functional programs, used by Stainless
epfl-lara/scallion
LL(1) parser combinators in Scala
epfl-lara/lisa
Proof assistant based on first-order logic and set theory
epfl-lara/bolts
Bolts: Stainless Verified Scala Examples
epfl-lara/silex
Lexing library for Scala
epfl-lara/SystemFR
System FR: Formalized Foundations for Stainless
epfl-lara/rust-stainless
An experimental Rust frontend for Stainless
epfl-lara/StainlessFit
Stainless directly built on System FR, with standalone front-end
epfl-lara/asplos2022tutorial
ASPLOS 2022 Tutorial on Stainless
epfl-lara/OCBSL
A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.
epfl-lara/compiler2024-labs-public
epfl-lara/cs550
epfl-lara/lattices-algorithms
This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
epfl-lara/STIX-showcase
epfl-lara/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
epfl-lara/asn1scc
ASN1SCC: An open source ASN.1 compiler for embedded systems
epfl-lara/cafebabe
Tiny Scala library to generate class files for the JVM
epfl-lara/eprover
epfl-lara/fmcad2021tutorial
FMCAD 2021 Tutorial on Stainless
epfl-lara/languagetool
Style and Grammar Checker for 25+ Languages
epfl-lara/LongMap-SMT-queries
Repository containing the SMT queries generated during the verification of the `LongMap`.
epfl-lara/PVS
The People's Verification System
epfl-lara/saal
Example of using Stainless as a library
epfl-lara/SciFe
SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
epfl-lara/stainless-site
Stainless microsite
epfl-lara/starkware-formal-proofs
epfl-lara/verified-qoi
Formally verified QOI in Scala