Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Nand2coq | 38 | 2 years ago | 2 | Coq | ||||||
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools). | ||||||||||
Cs448h | 12 | 6 years ago | Python | |||||||
Github for CS448H Winter 2017 | ||||||||||
Resnet_fpga | 10 | 8 months ago | SystemVerilog | |||||||
UCSD CSE 237D Spring '20 Course Project | ||||||||||
Coursera Sdaccel Theory | 6 | 5 years ago | mit | C++ | ||||||
Source codes used during the Coursera course titled "Developing FPGA-accelerated cloud applications with SDAccel: Theory" | ||||||||||
Fpga Homework | 5 | 7 years ago | n,ull | gpl-3.0 | VHDL | |||||
Dr.SahebZamani FPGA Homework | ||||||||||
Coursera Sdaccel Practice | 5 | 4 years ago | mit | C++ | ||||||
source codes used during the Coursera course titled "Developing FPGA-accelerated cloud applications with SDAccel: Practice" |