EPFL-LARA

icon indicating a website link epfl-lara.github.io

Results 9 repositories owned by EPFL-LARA

stainless

348
Stars
48
Forks
Watchers

Verification framework and tool for higher-order Scala programs

verified publisher icon epfl-lara

leon

162
Stars
49
Forks
Watchers

The Leon system for verification, synthesis, repair

verified publisher icon epfl-lara

scallion

54
Stars
15
Forks
Watchers

LL(1) parser combinators in Scala

verified publisher icon epfl-lara

inox

86
Stars
20
Forks
Watchers

Solver for higher-order functional programs

verified publisher icon epfl-lara

lisa

29
Stars
18
Forks
Watchers

Proof assistant based on first-order logic and set theory

verified publisher icon epfl-lara

ScalaZ3

117
Stars
35
Forks
Watchers

DSL in Scala for Constraint Solving with Z3 SMT Solver

verified publisher icon epfl-lara

smart

35
Stars
5
Forks
Watchers

Verification and Generation of Smart Contracts using Stainless and Scala

verified publisher icon epfl-lara

treenet

31
Stars
7
Forks
Watchers

Recursive Neural Networks for PyTorch

verified publisher icon epfl-lara

bolts

15
Stars
12
Forks
Watchers

Bolts: Stainless Verified Scala Examples

verified publisher icon epfl-lara