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