The Lift Project

Universities of Edinburgh, Glasgow, and Münster

Pinned Repositories

arithexpr
Scala library for building and symbolically simplifying arithmetic expressions
Language:Scala5 5 02
ck-lift
Integration of the Lift project with the Collective Knowledge (CK) framework
Language:Python2 7 01
dockerForTesting
Docker file containing all the necessary to run the Lift compiler(s)
Language:Dockerfile0 7 00
executor
A library for interfacing Scala with OpenCL kernels
Language:C++0 9 05
harness
The experimental harness for the Lift project.
Language:C++3 6 02
lift
The Lift programming language and compiler
Language:Scala209 19 520
lift-project.github.io
The Lift project website
Language:HTML0 5 00
posters
Posters about the Lift language
0 5 00
presentations
Slides of presentations about the Lift language
Language:TeX1 5 00
publications
Publications about the Lift language
1 5 02

lift-project/lift
The Lift programming language and compiler
Language:Scala209 19 520
lift-project/arithexpr
Scala library for building and symbolically simplifying arithmetic expressions
Language:Scala5 5 02
lift-project/harness
The experimental harness for the Lift project.
Language:C++3 6 02
lift-project/ck-lift
Integration of the Lift project with the Collective Knowledge (CK) framework
Language:Python2 7 01
lift-project/presentations
Slides of presentations about the Lift language
Language:TeX1 5 00
lift-project/publications
Publications about the Lift language
1 5 02
lift-project/dockerForTesting
Docker file containing all the necessary to run the Lift compiler(s)
Language:Dockerfile0 7 00
lift-project/executor
A library for interfacing Scala with OpenCL kernels
Language:C++0 9 05
lift-project/lift-project.github.io
The Lift project website
Language:HTML0 5 00
lift-project/posters
Posters about the Lift language
0 5 00