Pinned Repositories
doc
Documentation for the Elevate language
elevate
The implementation of the Elevate language
elevate-haskell
An implementation of Elevate in Haskell. Serves as a small playground mostly
elevate-lang.github.io
Website for the Elevate language
mini-elevate
presentations
Presentations about ELEVATE
publications
Publications about ELEVATE
ELEVATE's Repositories
elevate-lang/elevate
The implementation of the Elevate language
elevate-lang/elevate-haskell
An implementation of Elevate in Haskell. Serves as a small playground mostly
elevate-lang/elevate-lang.github.io
Website for the Elevate language
elevate-lang/publications
Publications about ELEVATE
elevate-lang/doc
Documentation for the Elevate language
elevate-lang/mini-elevate
elevate-lang/presentations
Presentations about ELEVATE