Pinned Loading

1. QPULib QPULib Public

   Language and compiler for the Raspberry Pi GPU

   C++ 430 63

2. blarney-lang/blarney blarney-lang/blarney Public

   Haskell library for hardware description

   Haskell 100 11

3. CTSRD-CHERI/bluecheck CTSRD-CHERI/bluecheck Public

   A generic test bench written in Bluespec

   Bluespec 46 14

4. POETSII/tinsel POETSII/tinsel Public

   Manythread RISC-V overlay for FPGA clusters

   Bluespec 35 1

5. CTSRD-CHERI/SIMTight CTSRD-CHERI/SIMTight Public

   Synthesisable SIMT-style RISC-V GPGPU

   Assembly 28 8

6. CTSRD-CHERI/axe CTSRD-CHERI/axe Public

   Consistency checker for memory subsystem traces

   C++ 14 8