Quentin Corradi's repositories
Language:C000
Language:Python000
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.
Language:Standard MLNOASSERTION000
jasmin
Jasmin compiler
Language:CoqGPL-2.0000
Language:C++000
langproc-cw
Compiler coursework repository for Instruction Architectures and Compilers module at Imperial College London
Language:Python000
libui
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
Language:RustApache-2.0000
libui-ng
libui-ng: a portable GUI library for C. "libui for the next generation"
Language:CMIT000
sv2v
SystemVerilog to Verilog conversion
Language:HaskellBSD-3-Clause000
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Language:CoqGPL-3.0000
Verilog_testfiles
A lot of verilog testfiles from repos
verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
Language:HaskellGPL-3.0000
Language:Python000