Skip to content


  • Arctic Code Vault Contributor
  • Pro


  1. Implementing the gridding algorithm from the SKA Science Data proccessor in accelerate, a domain specific language for high performance computing embedded in Haskell.


  2. Page rank project for Programeren in de Wiskunde

    Python 1

  3. The Top constraint solving framework

    Haskell 4 2

  4. FFT library for Haskell based on the embedded array language Accelerate

    Haskell 8 6

  5. Forked from AccelerateHS/accelerate

    Embedded language for high-performance array computations

    Haskell 1

45 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2020

Created a pull request in diffblue/cbmc that received 1 comment


The command needs the "--pointer-check" argument. Each commit message has a non-empty body, explaining why the change was made. Methods or proce…

+2 −2 1 comment

Created an issue in utwente-fmt/vercors that received 3 comments

OpenCL: Accessing an array within a loop, with the loop variable

I hope you don't mind me submitting more issues, but I just keep running into more stuff. Expected Behavior When checking the following program: //


Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.