remora

KO | EN

gitlite — search

#javascript #python #golang #machine-learning #rust #docker #nodejs #java #windows #awesome #cli #kubernetes #vue #ios

(★ 25)

A dependently-typed, array-polymorphic language that runs on parallel architectures

remora Latest Version Download

Download Latest Version (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Remora

> Remora is a higher-order, rank-polymorphic array-processing program- ming language, in the same general class of languages as APL and J. It is intended for writing programs to be executed on parallel hardware.

Source: [Introduction to Rank-polymorphic Programming in Remora](https://arxiv.org/abs/1912.13451)

Remora was designed as the [PhD thesis of Justin Slepak](https://ccs.neu.edu/~jrslepak/Dissertation.pdf), and its semantics and type system are laid out in the paper [The Semantics of Rank Polymorphism](https://arxiv.org/abs/1907.00509).

This project, which is currently in-progress, aims to compile Remora code into efficient CUDA C code for GPU execution.

An report is available in this repository at [./thesis-report.pdf](./thesis-report.pdf) that describes how the compiler works.

## Usage

Make sure you have the build system [Dune](https://github.com/ocaml/dune) installed, as well as all dependencies, which can be installed via opam:

```bash
opam install .
```

### Compile a program

The following command will print to stdout a complete CUDA C++ 17 program:

```bash
dune exec --display=quiet -- remora /path/to/program.remora
```

The CUDA C program can then be compiled with [nvcc](https://docs.nvidia.com/cuda/cuda-compiler-driver-nvcc/index.html).
It is recommended to use the flags `-std=c++17 -arch=native -w`.

### Run Tests

```bash
dune runtest
```

### Build

```bash
dune build @all
```

remora

remora Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

remora

remora Latest Version Download

Today's picks

Was this content helpful?

Recent Feedback

Download README