Pinned Loading

1. Halide Halide Public

   Forked from halide/Halide

   a language for fast, portable data-parallel computation

   C++

2. gpu-bisimulation gpu-bisimulation Public

   A GPU Bisimulation algorithm

   Cuda 2 1

3. vercors vercors Public

   Forked from utwente-fmt/vercors

   The VerCors verification toolset for verifying parallel and concurrent software

   Scala

4. HaliVerExperiments HaliVerExperiments Public

   C

5. nb_mypy nb_mypy Public

   Facility to automatically run mypy on Jupyter notebook cells as they are executed.

   Jupyter Notebook

6. SKA-SDP-Accelerate-gridding SKA-SDP-Accelerate-gridding Public

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

   Haskell