EPFL-LARA

treenet

Recursive Neural Networks for PyTorch

nugget

Neural-Network Guided Expression Transformation

welder

Interactive Theorem Proving based on Inox

scallion-proofs

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

verified-2048

A 2048 clone verified by 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

Deep_Learning_On_Code_With_A_Graph_Vocabulary

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

florian-cassayre-semester-project

Semester Project of Florian Cassayre in LARA (EPFL), 2020

funprog-lambda

verified-lambda

A verified lambda interpreter

bachelor_project

A text-based game framework written in Scala

bitcoin-s-core

Bitcoin Implementation in Scala (core module)

bitcoin-s-verification

cakeml

CakeML: A Verified Implementation of ML

dotty

Research compiler that will become Scala 3

lal-checkers

Libadalang-based code checking infrastructure

mantis

A Scala based client for Ethereum Classic.

okasaki

Scala implementation of data structures from Chris Okasaki's book

partition-allocator

polyml

Poly/ML

princess

Fork of Philipp Ruemmer's Princess SMT solver

stainless-site

Stainless microsite

T2

T2 Temporal Prover

toolc

Reference implementation formerly used in Computer Language Processing EPFL Course

TwoPhase

Two Phase Commit in Stainless

wasm

WebAssembly for Scala

wasmer

High-Performance WebAssembly JIT interpreter