EPFL-LARA (@epfl-lara)
Guthub

epfl-lara

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,010
  • Global Org. Rank 14,899 (Top 5 %)
  • Registered over 11 years ago
  • Most used languages
    Scala
         68.4 %
    Python
         7.9 %
    Coq     7.9 %
    HTML
         5.3 %
    C
         5.3 %
    Rust
         2.6 %
    TypeScript
         2.6 %

Top repositories

1

stainless

Verification framework and tool for higher-order Scala programs
HTML
347
star
2

leon

The Leon system for verification, synthesis, repair
Scala
162
star
3

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Scala
117
star
4

inox

Solver for higher-order functional programs
Scala
87
star
5

scallion

LL(1) parser combinators in Scala
Scala
54
star
6

smart

Verification and Generation of Smart Contracts using Stainless and Scala
HTML
35
star
7

treenet

Recursive Neural Networks for PyTorch
Python
31
star
8

lisa

Proof assistant based on first-order logic and set theory
Scala
29
star
9

bolts

Bolts: Stainless Verified Scala Examples
Scala
15
star
10

nugget

Neural-Network Guided Expression Transformation
Python
13
star
11

jahob

Jahob Verification System
C
11
star
12

comfusy

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
Scala
11
star
13

silex

Lexing library for Scala
Scala
10
star
14

welder

Interactive Theorem Proving based on Inox
Scala
10
star
15

SystemFR

System FR: Formalized Foundations for Stainless
Coq
9
star
16

scallion-proofs

Proofs of correctness for Scallion (https://github.com/epfl-lara/scallion)
Coq
9
star
17

rust-stainless

An experimental Rust frontend for Stainless
Rust
6
star
18

StainlessFit

Stainless directly built on System FR, with standalone front-end
Scala
5
star
19

verified-2048

A 2048 clone verified by Stainless
Scala
4
star
20

stainless-actors

Actor System library for Stainless which runs on Akka
Scala
4
star
21

asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless
C
4
star
22

OCBSL

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

fit-code

TypeScript
3
star
24

verifythis2020

VerifyThis2020 Challenge in Stainless
Scala
2
star
25

silex-proofs

Proofs on lexing with derivatives and zippers
Coq
2
star
26

cs550

Scala
2
star
27

lattices-algorithms

This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices
Scala
2
star
28

muscat

A unit testing framework for concurrent Scala programs
Scala
2
star
29

grammar-web

An online tutoring system for context-free grammars
Scala
2
star
30

compiler2024-labs-public

Scala
2
star
31

leon-web

Web-interface for Leon
Scala
2
star
32

stainless-project.g8

Giter8 template for Stainless-enabled projects
Scala
2
star
33

GrammarComparison

A System for Analyzing and Comparing Context-Free Grammars
Scala
2
star
34

scala-native-stainless-sample

Scala
1
star
35

Deep_Learning_On_Code_With_A_Graph_Vocabulary

Code to reproduce the experiments in the paper Deep Learning On Code With A Graph Vocabulary
Python
1
star
36

funprog-lambda

Scala
1
star
37

STIX-showcase

Scala
1
star
38

verified-lambda

A verified lambda interpreter
Scala
1
star