Alternatives and similar repositories for simbook

Users that are interested in simbook are comparing it to the libraries listed below

• ArchC / ArchC
  A powerful and modern open-source architecture description language.
  ☆47Updated 8 years ago
• P3109 / Public
  materials available to the public
  ☆29Updated this week
• mwillsey / cs265
  Website for CS 265
  ☆33Updated last year
• mc-imperial / multicore-test-harness
  A multicore microprocessor test harness for measuring interference
  ☆14Updated 5 years ago
• sifiveinc / wake
  The SiFive wake build tool
  ☆91Updated this week
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆60Updated this week
• makslevental / mmlir
  A minimal (really) out-of-tree MLIR example
  ☆46Updated 4 months ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆61Updated this week
• openhwgroup / corev-llvm-project
  ☆18Updated last year
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆148Updated this week
• periscop / cloog
  The CLooG Code Generator in the Polyhedral Model
  ☆51Updated 2 years ago
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆23Updated 3 years ago
• Fedex100 / awesome-compilers
  ☆16Updated 8 years ago
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆83Updated 3 weeks ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆56Updated last month
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆45Updated 2 years ago
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆153Updated 6 months ago
• syntacore / snippy
  llvm-snippy instruction sequence generator
  ☆77Updated last week
• spiral-software / spiral-software
  Public source repository for the SPIRAL project
  ☆235Updated 2 months ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆75Updated 7 months ago
• iree-org / iree-bare-metal-arm
  Example for running IREE in a bare-metal Arm environment.
  ☆40Updated 5 months ago
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆25Updated 4 months ago
• nfinit / ansibench
  A selection of ANSI C benchmarks and programs useful as benchmarks
  ☆98Updated last year
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆101Updated this week
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆191Updated 2 weeks ago
• intel / device-modeling-language
  ☆106Updated this week
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆66Updated 6 months ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆40Updated this week
• dzaima / intrinsics-viewer
  x86-64, ARM, and RVV intrinsics viewer
  ☆76Updated last month
• OpenCilk / opencilk-project
  Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.
  ☆119Updated this week