Haifeng Gu's repositories
awesome-cpp
A curated list of awesome C/C++ frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
cbmc
C Bounded Model Checker
esbmc
The efficient SMT-based bounded model checker
firrtl
Flexible Intermediate Representation for RTL
freedom
Source files for SiFive's Freedom platforms, now it supports Boom Core
InterviewPreparation
本仓库是我在做题过程中整理的资料,会经常更新,欢迎阅读并指正其中错误的内容。内容来自网络、书籍等各种来源。
json
JSON for Modern C++
lectures-labs
Slides and Jupyter notebooks for the Deep Learning lectures at M2 Data Science Université Paris Saclay
open-register-design-tool
Tool to generate register RTL, models, and docs using SystemRDL or JSpec input
pcap-analyzer
online pcap forensic
riscv-tools
RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
StaticJSON
Fast, direct and static typed parsing of JSON with C++
sv-benchmarks
Collection of Verification Tasks
Test
Programming Language Workspace
tool_lists
Links to tools by subject