Giters
EPFL-LARA (epfl-lara)

EPFL-LARA

epfl-lara

Geek Repo

Home Page:epfl-lara.github.io

Github PK Tool:Github PK Tool

EPFL-LARA's repositories

nugget

Neural-Network Guided Expression Transformation

Language:PythonLicense:LGPL-3.0Stargazers:13Issues:7Issues:0

comfusy

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

Language:ScalaLicense:BSD-2-ClauseStargazers:11Issues:5Issues:0

jahob

Jahob Verification System

Language:CLicense:GPL-2.0Stargazers:11Issues:11Issues:0

insane

Interprocedural Static Analysis Engine for Scala

Language:ScalaStargazers:3Issues:5Issues:0

grammar-web

An online tutoring system for context-free grammars

Language:ScalaLicense:NOASSERTIONStargazers:2Issues:6Issues:0

GrammarComparison

A System for Analyzing and Comparing Context-Free Grammars

Language:ScalaLicense:NOASSERTIONStargazers:2Issues:7Issues:1

leon-web

Web-interface for Leon

Language:ScalaLicense:NOASSERTIONStargazers:2Issues:12Issues:2

verified-lambda

A verified lambda interpreter

Language:ScalaLicense:GPL-3.0Stargazers:1Issues:0Issues:0

lexi

Language:ScalaStargazers:0Issues:6Issues:0

boogie

Boogie

Language:C#License:MS-PLStargazers:0Issues:5Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:5Issues:0

freeforms

Language:ScalaLicense:MITStargazers:0Issues:4Issues:0

Implicit-Web-Programming

Web page creation tool

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:7Issues:1

lal-checkers

Libadalang-based code checking infrastructure

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lean

Lean Theorem Prover

Language:C++License:Apache-2.0Stargazers:0Issues:5Issues:0

MPTP2

Language:PrologStargazers:0Issues:0Issues:0

Orb2015

An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of functional Scala programs

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pongdesigner

Pong Designer is game engine for Android featuring touch-based programming by example

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:6Issues:0

PrettyReport

Convert Stainless' JSON report into pretty HTML ones

Language:ScalaLicense:GPL-3.0Stargazers:0Issues:6Issues:1

prosy

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Language:ScalaStargazers:0Issues:6Issues:0

ReverseDSL-Mikael

Reversing DSL tricks

Language:ScalaStargazers:0Issues:6Issues:0

T2

T2 Temporal Prover

License:NOASSERTIONStargazers:0Issues:0Issues:0

TAP

Language:MakefileLicense:GPL-3.0Stargazers:0Issues:5Issues:0

vcc

A static verifier for concurrent C programs

Language:C#License:NOASSERTIONStargazers:0Issues:5Issues:0

wasm

WebAssembly for Scala

Language:ScalaLicense:LGPL-3.0Stargazers:0Issues:5Issues:0

WelderToolbox

Automatic theorem proving tools for Welder.

Language:ScalaStargazers:0Issues:5Issues:0

WikiSQL

A large annotated semantic parsing corpus for developing natural language interfaces.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:5Issues:0

Z3jar

Distributable wrapper for Z3 java api

Language:ScalaStargazers:0Issues:6Issues:0