VVViy

W. Wang's repositories

VVViy.github.io

This is Max's blog, something interesting in it.

Language:HTMLMIT13 2 13

amiga2000-gfxcard

MNT VA2000, an Open Source Amiga 2/3/4000 Graphics Card (Zorro II/III), written in Verilog

Language:Verilog1 20

verilog-6502

A Verilog HDL model of the MOS 6502 CPU

Language:Verilog1 20

996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

Language:RustNOASSERTION000

bsc

Bluespec Compiler (BSC)

Language:HaskellNOASSERTION010

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1010

lcc

The lcc retargetable ANSI C compiler

Language:C020

Mastering-Embedded-Linux-Programming-Second-Edition

Mastering Embedded Linux Programming – Second Edition, published by Packt

Language:CMIT020

miaow

An open source GPU based off of the AMD Southern Islands ISA.

Language:VerilogBSD-3-Clause020

Ne10

An open optimized software library project for the ARM® Architecture

Language:CNOASSERTION020

nvdla_hw

RTL, Cmodel, and testbench for NVDLA

Language:VerilogNOASSERTION000

nvdla_sw

NVDLA SW

Language:C++NOASSERTION000

oss-cvc

CVCx is a fork of OSS CVC from Tachyon DA

Language:C000

stx_cookbook

Altera Advanced Synthesis Cookbook 11.0

Language:Verilog020

technically-oriented-pdf-collection

Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Language:HTML020