Alternatives and similar repositories for isa_spec

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

• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆265Updated last week
• veryl-lang / veryl
  Veryl: A Modern Hardware Description Language
  ☆856Updated this week
• 0BAB1 / HOLY_CORE_COURSE
  Learn how to build our own RV32I(M) core, verify it and actually use it. From scratch & with more than 200 pages of detailed tutorial wit…
  ☆319Updated this week
• different-name / steam-config-nix
  Manage Steam launch options and compatibility tools declaratively through Home Manager
  ☆41Updated last week
• VHDL-LS / rust_hdl
  A fast VHDL language server and analysis library written in Rust
  ☆450Updated this week
• ethanuppal / marlin
  🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆80Updated last week
• samitbasu / rust-hdl
  A framework for writing FPGA firmware using the Rust Programming Language
  ☆451Updated 7 months ago
• dalance / svls
  SystemVerilog language server
  ☆558Updated 3 weeks ago
• Infinidoge / nix-minecraft
  An attempt to better support Minecraft-related content for the Nix ecosystem
  ☆489Updated last week
• MCHPR / MCHPRS
  A multithreaded Minecraft server built for redstone.
  ☆2,162Updated 2 weeks ago
• cucapra / filament
  Fearless hardware design
  ☆185Updated 4 months ago
• xnotime / odd_is_odd
  A very (not) safe Rust library to check if a number is odd. Based on cve-rs.
  ☆30Updated last year
• YosysHQ / oss-cad-suite-build
  Multi-platform nightly builds of open source digital design and verification tools
  ☆1,311Updated this week
• chipsalliance / chisel-nix
  Nix template for the chisel-based industrial designing flows.
  ☆51Updated 8 months ago
• gorilla-devs / ferium
  Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases
  ☆1,340Updated 7 months ago
• wgpu-mc / wgpu-mc
  Rust-based replacement for the default Minecraft renderer
  ☆581Updated 8 months ago
• YosysHQ / apicula
  Project Apicula 🐝: bitstream documentation for Gowin FPGAs
  ☆613Updated this week
• UnlegitSenpaii / FAE_Linux
  Factorio Achievement Enabler for Linux
  ☆99Updated 3 weeks ago
• dalance / svlint
  SystemVerilog linter
  ☆372Updated 2 months ago
• alegnani / verifactory
  A verifier for Factorio blueprints, enabling one to automatically check logical properties
  ☆39Updated last month
• fnuecke / oc2
  RISC-V VMs in Minecraft.
  ☆637Updated last year
• TerraFirmaGreg-Team / Modpack-Modern
  An innovative modpack that contains GregTech and TerraFirmaCraft on 1.20.x.
  ☆287Updated this week
• T-K-233 / RISC-V-Single-Cycle-CPU
  RISC-V 32bit single-cycle CPUs written in Logisim, Verilog, and Chisel
  ☆449Updated 11 months ago
• amaranth-lang / amaranth
  A modern hardware definition language and toolchain based on Python
  ☆1,880Updated 3 weeks ago
• chipsalliance / f4pga
  FOSS Flow For FPGA
  ☆417Updated last year
• SymmetricDevs / Supersymmetry
  Repository for the Supersymmetry Minecraft Modpack
  ☆261Updated this week
• chipfoundry / openlane2
  The next generation of OpenLane, rewritten from scratch with a modular architecture
  ☆326Updated last month
• neoforged / NeoForge
  Neo Modding API for Minecraft: Java Edition, based on Forge
  ☆1,748Updated last week
• kevinmehall / rust-vcd
  Read and write VCD (Value Change Dump) files in Rust
  ☆44Updated last year
• mamoniot / project-cybersyn
  ☆75Updated this week