epfl-lara/Deep_Learning_On_Code_With_A_Graph_Vocabulary

Stars
1
Language
Python
License
MIT License
Created over 5 years ago
Updated over 5 years ago

epfl-lara/Deep_Learning_On_Code_With_A_Graph_Vocabulary

epfl-lara

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

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

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

scallion

LL(1) parser combinators in Scala

smart

Verification and Generation of Smart Contracts using Stainless and Scala

treenet

Recursive Neural Networks for PyTorch

lisa

Proof assistant based on first-order logic and set theory

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

SystemFR

System FR: Formalized Foundations for Stainless

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

verified-2048

A 2048 clone verified by Stainless

stainless-actors

Actor System library for Stainless which runs on Akka

asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless

OCBSL

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

fit-code

verifythis2020

VerifyThis2020 Challenge in Stainless

silex-proofs

Proofs on lexing with derivatives and zippers

cs550

lattices-algorithms

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

muscat

A unit testing framework for concurrent Scala programs

grammar-web

An online tutoring system for context-free grammars

compiler2024-labs-public

leon-web

Web-interface for Leon

stainless-project.g8

Giter8 template for Stainless-enabled projects

GrammarComparison

A System for Analyzing and Comparing Context-Free Grammars

scala-native-stainless-sample

funprog-lambda

STIX-showcase

verified-lambda

A verified lambda interpreter