Lists (12)
Sort Name ascending (A-Z)
- All languages
- Assembly
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Dockerfile
- Emacs Lisp
- FIRRTL
- GLSL
- Go
- HCL
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Lean
- MDX
- Makefile
- OCaml
- PHP
- Perl
- Python
- Racket
- Ruby
- Rust
- SMT
- Scala
- Shell
- Standard ML
- Swift
- SystemVerilog
- TL-Verilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
Starred repositories
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
Convert PDF to HTML without losing text or format.
爬取secwiki和xuanwu.github.io/sec.today,分析安全信息站点、安全趋势、提取安全工作者账号(twitter,weixin,github等)
Xilinx Embedded Software (embeddedsw) Development
Master Thesis "ZynqNet: An FPGA-Accelerated Embedded Convolutional Neural Network"
Gain an understanding of the fundamental topics and concepts of computer architecture including the application of these with modern Arm processors
Documentation for the OpenHW Group's set of CORE-V RISC-V cores
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)
A neural branch predictor tested using CPU emulator, testing both supervised learning and reinforcement learning (for COS 583: Great Moments in Computing at Princeton University)
Proof-of-concept for I See Dead Micro-Ops transient execution attack
Unofficial specification for GtkWave's FST digital waveform file format.