Sarek is the user-facing DSL and compiler. Write kernels in OCaml with [%kernel ...], and Sarek compiles them to GPU code at build time. SPOC (SIMT Programming for OCaml) is the underlying runtime ...