Skip to content

gatoatigrado/skalch

Repository files navigation

Name: skalch
Project: Scala Sketching Projects
Institution: UC Berkeley ParLab
Authors: Nicholas Tung, Shaon Barman, Casey Rodarmor, Ras Bodik

Please see relevant documents in the "doc" folder (rendered into .pdf for every release),
    * software_documentation.lyx -- Software dependencies, commands to build the project
    * tutorials.lyx -- A tutorial on sketching in Scala
    * developing.lyx -- A guide to developing this compiler; it may contain relevant info for those only interested in graph transformations

For most questions, ask Nicholas. Below is a short list of contacts / credits. Note that some work may not be in the latest branches, to avoid compilation issues (as the APIs change).
    Research Advisor:
        Rastislav Bodik <[email protected]>

    Scala to SKETCH translation:
        Nicholas Tung <[email protected]>
        Thanks to Edgar Jakumeit and the GrGen team for their great tool, and occasional help.

    Queueing work:
        Shaon Barman <[email protected]>

    Dynamic work:
        Nicholas Tung
        Casey Rodarmor <[email protected]> (also coauthor of DWS work with Ras)

    Other contacts:
        Armando Solar-Lezama <[email protected]> (maintainer of SKETCH; see http://bitbucket.org/gatoatigrado/sketch-frontend)
        Joel Galenson <[email protected]> (author of a different Scala backtracking backend)

About

scala + sketching (sketch.cs.berkeley.edu) project

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published