mn416

mn416's Stars

• mn416/QPULib

  Language and compiler for the Raspberry Pi GPU

  Language:C++42964

• project-oak/silveroak

  Formal specification and verification of hardware, especially for security and privacy.

  Language:Coq12420

• blarney-lang/blarneycheck

  Automatic testing of Blarney programs

  Language:Haskell3

• POETSII/DE10Pro-getting-started

  Instructions on getting started with Terasic DE10-Pro FPGA board

  4

• jrprice/Oclgrind

  An OpenCL device simulator and debugger

  Language:C++34663

• B-Lang-org/bsc

  Bluespec Compiler (BSC)

  Language:Haskell935142

• ndmitchell/record-dot-preprocessor

  A preprocessor for a Haskell record syntax using dot

  Language:Haskell12919

• CTSRD-CHERI/RVBS

  RISC-V BSV Specification

  Language:Bluespec172

• ikwzm/udmabuf

  User space mappable dma buffer device driver for Linux.

  Language:C549166

• alexforencich/verilog-ethernet

  Verilog Ethernet components for FPGA implementation

  Language:Verilog2.2k688

• chipsalliance/rocket-chip

  Rocket Chip Generator

  Language:Scala3.2k1.1k

• rm-hull/wireframes

  A lightweight 3D graphics rendering engine in Clojure & ClojureScript.

  Language:Clojure628

• acjf3/l3mips

  L3 based MIPS specification and emulator

  Language:Ruby154