epfl-lara/grammar-web
An online tutoring system for context-free grammars
Developer Profile
epfl-lara
Discovered public repositories for epfl-lara in the GitHub catalog.
epfl-lara/toolc
Reference implementation formerly used in Computer Language Processing EPFL Course
epfl-lara/leon-web
Web-interface for Leon
epfl-lara/insane
Interprocedural Static Analysis Engine for Scala
epfl-lara/leon
The Leon system for verification, synthesis, repair
epfl-lara/comfusy
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.
epfl-lara/ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver