epfl-lara/silex-proofs epfl-lara/silex-proofs

  • Stars
    star
    2
  • Language Coq
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
epfl-lara/silex-proofs
github

epfl-lara

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proofs on lexing with derivatives and zippers

More Repositories

1

stainless

Verification framework and tool for higher-order Scala programs
Scala
356
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
122
star
4

inox

Solver for higher-order functional programs, used by Stainless
Scala
88
star
5

scallion

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

smart

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

lisa

Proof assistant based on first-order logic and set theory
Scala
33
star
8

treenet

Recursive Neural Networks for PyTorch
Python
31
star
9

bolts

Bolts: Stainless Verified Scala Examples
Scala
17
star
10

nugget

Neural-Network Guided Expression Transformation
Python
12
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

OCBSL

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

verified-2048

A 2048 clone verified by Stainless
Scala
4
star
21

actors-in-stainless

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

asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless
C
4
star
23

fit-code

TypeScript
3
star
24

muscat

A unit testing framework for concurrent Scala programs
Scala
3
star
25

stainless-project.g8

Giter8 template for Stainless-enabled projects
Scala
3
star
26

verifythis2020

VerifyThis2020 Challenge in Stainless
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

cs550

Scala
2
star
29

compiler2024-labs-public

Scala
2
star
30

leon-web

Web-interface for Leon
Scala
2
star
31

GrammarComparison

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

grammar-web

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

scala-native-stainless-sample

Scala
1
star
34

funprog-lambda

Scala
1
star
35

STIX-showcase

Scala
1
star
36

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
37

verified-lambda

A verified lambda interpreter
Scala
1
star