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
karlyriceditor
lyrics editor and CD+G/video exporter for Karaoke
langproc-2023-lab
langproc-cw
Compiler coursework repository for Instruction Architectures and Compilers module at Imperial College London
verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
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/karlyriceditor
lyrics editor and CD+G/video exporter for Karaoke
dwRchyngqxs/langproc-2023-lab
dwRchyngqxs/langproc-cw
Compiler coursework repository for Instruction Architectures and Compilers module at Imperial College London
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