epfl-lara Goto Github PK

asplos2022tutorial

ASPLOS 2022 Tutorial on Stainless

bachelor_project

A text-based game framework written in Scala

bitcoin-s-core

Bitcoin Implementation in Scala (core module)

bitcoin-s-verification

bolts

Bolts: Stainless Verified Scala Examples

boogie

Boogie

cafebabe

Tiny Scala library to generate class files for the JVM

cakeml

CakeML: A Verified Implementation of ML

comfusy

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

compiler2024-labs-public

cs550

dafny

Dafny is a verification-aware programming language

deep_learning_on_code_with_a_graph_vocabulary

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

dotty

Research compiler that will become Scala 3

editor

Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.

fit-code

florian-cassayre-semester-project

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

fmcad2021tutorial

FMCAD 2021 Tutorial on Stainless

freeforms

funprog-lambda

grammar-web

An online tutoring system for context-free grammars

grammarcomparison

A System for Analyzing and Comparing Context-Free Grammars

implicit-web-programming

Web page creation tool

inox

Solver for higher-order functional programs

insane

Interprocedural Static Analysis Engine for Scala

jahob

Jahob Verification System

lal-checkers

Libadalang-based code checking infrastructure

languagetool

Style and Grammar Checker for 25+ Languages

lattices-algorithms

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

lean

Lean Theorem Prover