epfl-lara/SystemFR

Stars
9
Rank 1,939,727 (Top 39 %)
Language Coq
License
MIT License
Created over 5 years ago
Updated about 3 years ago

epfl-lara/SystemFR

epfl-lara

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

System FR: Formalized Foundations for Stainless

stainless

Verification framework and tool for higher-order Scala programs

leon

The Leon system for verification, synthesis, repair

ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver

inox

Solver for higher-order functional programs, used by Stainless

scallion

LL(1) parser combinators in Scala

smart

Verification and Generation of Smart Contracts using Stainless and Scala

lisa

Proof assistant based on first-order logic and set theory

treenet

Recursive Neural Networks for PyTorch

bolts

Bolts: Stainless Verified Scala Examples

nugget

Neural-Network Guided Expression Transformation

jahob

Jahob Verification System

comfusy

Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.

silex

Lexing library for Scala

welder

Interactive Theorem Proving based on Inox

scallion-proofs

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

rust-stainless

An experimental Rust frontend for Stainless

StainlessFit

Stainless directly built on System FR, with standalone front-end

OCBSL

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

verified-2048

A 2048 clone verified by Stainless

actors-in-stainless

Actor System library for Stainless which runs on Akka

asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless

fit-code

muscat

A unit testing framework for concurrent Scala programs

stainless-project.g8

Giter8 template for Stainless-enabled projects

verifythis2020

VerifyThis2020 Challenge in Stainless

lattices-algorithms

This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilattices

silex-proofs

Proofs on lexing with derivatives and zippers

cs550

compiler2024-labs-public

leon-web

Web-interface for Leon

GrammarComparison

A System for Analyzing and Comparing Context-Free Grammars

grammar-web

An online tutoring system for context-free grammars

scala-native-stainless-sample

funprog-lambda

STIX-showcase

Deep_Learning_On_Code_With_A_Graph_Vocabulary

Code to reproduce the experiments in the paper Deep Learning On Code With A Graph Vocabulary

verified-lambda

A verified lambda interpreter