Similar repositories to CakeML/hardware:

• CakeML/hardware github similar
• danistefanovic/build-your-own-x github similar
• exaloop/codon github similar
• aquynh/capstone github similar
• HeikoBecker/Dandelion github similar
• fmlab-iis/coq-qfbv github similar
• soDLA-publishment/soDLA-firesim github similar
• iammituraj/FIFOs github similar
• mgerrard/alpaca github similar
• fadoss/umaudemc github similar
• Digilent/Zybo-Z7-20-DMA github similar
• dillonhuff/VerilogToCoreIR github similar
• berkeley-abc/super_prove github similar
• wangjwchn/sparcv8-coq github similar
• UCSBarchlab/RaceLogic github similar
• cheimu/4Issue-7Stage-OutOfOrder-Superscalar-RISCV-CPU-ArianeBased github similar
• SymbioticEDA/getting-started-FV github similar
• franzflasch/leiwand_rv32 github similar
• CTSRD-CHERI/Flute github similar
• microsoft/Elastic-Silicon-Interconnect github similar
• alainmarcel/Surelog github similar
• gjlies/configgpgpu github similar
• sebastien-riou/prince-c-ref github similar
• dafny-lang/xdsmith github similar
• ZipCPU/zipversa github similar
• EDAPack/edapack github similar
• freechipsproject/chisel-coverage github similar
• parallella/parallella-riscv github similar
• diffblue/hw-cbmc github similar
• opencomputeproject/ODSA-BoW github similar
• grigoryfedyukovich/aeval github similar
• leonardt/hwtypes github similar
• pulp-platform/pulp_cluster github similar
• ZipCPU/wbpwmaudio github similar
• christiaanb/contranomy github similar
• YosysHQ/VlogHammer github similar
• pulp-platform/stream-ebpc github similar
• scarv/scarv-cpu github similar
• PacoReinaCampo/SoC-RISCV github similar
• philzook58/nand2coq github similar