Pinned Repositories
bench_avx512
dwRchyngqxs.github.io
HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
jasmin
Jasmin compiler
Jeu-de-carte-sans-nom
langproc-2023-lab
langproc-cw
Compiler coursework repository for Instruction Architectures and Compilers module at Imperial College London
libui
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
libui-ng
libui-ng: a portable GUI library for C. "libui for the next generation"
report-Jasmin
dwRchyngqxs's Repositories
dwRchyngqxs/Jeu-de-carte-sans-nom
dwRchyngqxs/bench_avx512
dwRchyngqxs/dwRchyngqxs.github.io
dwRchyngqxs/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
dwRchyngqxs/jasmin
Jasmin compiler
dwRchyngqxs/langproc-2023-lab
dwRchyngqxs/langproc-cw
Compiler coursework repository for Instruction Architectures and Compilers module at Imperial College London
dwRchyngqxs/libui
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
dwRchyngqxs/libui-ng
libui-ng: a portable GUI library for C. "libui for the next generation"
dwRchyngqxs/report-Jasmin
dwRchyngqxs/sv2v
SystemVerilog to Verilog conversion
dwRchyngqxs/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
dwRchyngqxs/Verilog_testfiles
A lot of verilog testfiles from repos
dwRchyngqxs/verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
dwRchyngqxs/Xed_parser