The Lift Project (lift-project)

The Lift Project

lift-project

Geek Repo

Location:Universities of Edinburgh, Glasgow, and Münster

Home Page:https://lift-project.github.io/

Github PK Tool:Github PK Tool

The Lift Project's repositories

lift

The Lift programming language and compiler

Language:ScalaLicense:MITStargazers:206Issues:19Issues:5

arithexpr

Scala library for building and symbolically simplifying arithmetic expressions

Language:ScalaLicense:MITStargazers:5Issues:5Issues:0

harness

The experimental harness for the Lift project.

Language:C++License:MITStargazers:3Issues:6Issues:0

ck-lift

Integration of the Lift project with the Collective Knowledge (CK) framework

Language:PythonLicense:MITStargazers:2Issues:7Issues:0

presentations

Slides of presentations about the Lift language

Language:TeXStargazers:1Issues:5Issues:0

publications

Publications about the Lift language

dockerForTesting

Docker file containing all the necessary to run the Lift compiler(s)

Language:DockerfileStargazers:0Issues:7Issues:0

executor

A library for interfacing Scala with OpenCL kernels

Language:C++Stargazers:0Issues:9Issues:0

lift-project.github.io

The Lift project website

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:5Issues:0

posters

Posters about the Lift language

Stargazers:0Issues:5Issues:0