Pinned Repositories
.tmux
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
bookstore-final
DS
Labs of Distributed System (SE, SJTU)
gMig-qemu
gscale
se_compilers_labs
compilers labs of SE, SJTU, 2016
se_cse_labs
se_ics_labs
mjc0608's Repositories
mjc0608/.tmux
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
mjc0608/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
mjc0608/aws-fpga
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
mjc0608/aes
Verilog implementation of the symmetric block cipher AES (Advanced Encryption Standard) as specified in NIST FIPS 197. This implementation supports 128 and 256 bit keys.
mjc0608/cayman
Cayman is a Jekyll theme for GitHub Pages
mjc0608/clexy
Theme for Hexo ( Node.js Based Blog Framework )
mjc0608/dlrm
An implementation of a deep learning recommendation model (DLRM)
mjc0608/FPGA-OS
mjc0608/giri
Dynamic Program Slicing in LLVM Compiler
mjc0608/intel-fpga-bbb
Basic Building Blocks (BBB) for OPAE-managed Intel FPGAs
mjc0608/iSmartDNN
Light-weighted neural network inference for object detection on small-scale FPGA board
mjc0608/kasikci.github.io
mjc0608/LeFlow
Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks
mjc0608/llvm-mctoll
llvm-mctoll
mjc0608/moyu
mjc0608/netlist-paths
A command line tool for querying paths in a Verilog netlist
mjc0608/opae-xilinx
OPAE porting to Xilinx FPGA devices.
mjc0608/pcie_screamer
PCIe Screamer - TLPs experiments...
mjc0608/prga
Open-source FPGA research and prototyping framework.
mjc0608/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
mjc0608/rdma-example
RDMA exmaple
mjc0608/really-simple-fadd
A pipelined floating point adder (only part of the standard is implemented).
mjc0608/skywater-pdk
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
mjc0608/snap
CAPI SNAP Framework Hardware and Software
mjc0608/sosp-paper211-ae
Artifact for SOSP 21 Paper: Verifying a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
mjc0608/syno-acme
通过acme协议更新群晖HTTPS泛域名证书的自动脚本
mjc0608/thesis
mjc0608/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
mjc0608/uhdm-yosys
Yosys Open SYnthesis Suite
mjc0608/zynq-parrot
BlackParrot on Zynq