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
  ☆234Updated this week
• samitbasu / rust-hdl
  A framework for writing FPGA firmware using the Rust Programming Language
  ☆405Updated 3 months ago
• 0BAB1 / HOLY_CORE_COURSE
  Learn how to build our own RV32I core, verify it and actually use it. From scratch & with more than 200 pages of detailed tutorial with s…
  ☆216Updated 3 weeks ago
• Infinidoge / nix-minecraft
  An attempt to better support Minecraft-related content for the Nix ecosystem
  ☆408Updated this week
• M1rageDev / Firefly
  Revamped Atmospheric Effects for KSP
  ☆41Updated last month
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆57Updated 2 weeks ago
• kittybupu / openVCB
  An open source implementation of the Virtual Circuit Board loader, assembler, and simulation engine.
  ☆86Updated 2 years ago
• veryl-lang / veryl
  Veryl: A Modern Hardware Description Language
  ☆774Updated last week
• xnotime / odd_is_odd
  A very (not) safe Rust library to check if a number is odd. Based on cve-rs.
  ☆30Updated last year
• VHDL-LS / rust_hdl
  A fast VHDL language server and analysis library written in Rust
  ☆422Updated 2 weeks ago
• alegnani / verifactory
  A verifier for Factorio blueprints, enabling one to automatically check logical properties
  ☆37Updated 8 months ago
• wgpu-mc / wgpu-mc
  Rust-based replacement for the default Minecraft renderer
  ☆560Updated 4 months ago
• UnlegitSenpaii / FAE_Linux
  Factorio Achievement Enabler for Linux
  ☆82Updated 3 weeks ago
• fnuecke / oc2
  RISC-V VMs in Minecraft.
  ☆634Updated last year
• chrjen / vcbb
  Virtual Circuit Board blueprint tool
  ☆11Updated 3 years ago
• chipsalliance / chisel-nix
  Nix template for the chisel-based industrial designing flows.
  ☆45Updated 4 months ago
• LovingMelody / nix-citizen
  Nix configuration for StarCitizen, optionally installs the game package.
  ☆45Updated this week
• newcomb-luke / kOS-KASM
  Kerbal Assembler, for use with Kerbal OS mod for Kerbal Space Program. Using this tool one can program their KSP rockets in assembly code…
  ☆16Updated last year
• gorilla-devs / ferium
  Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases
  ☆1,307Updated 3 months ago
• factorio-rivets / rivets-rs
  Rivets is a Factorio mod loader written in Rust. Hook into compiled functions and change their behavior.
  ☆26Updated last year
• djg / verilated-rs
  Verilator Porcelain
  ☆48Updated last year
• rj00a / evenio
  An event-driven Entity Component System
  ☆145Updated 11 months ago
• KerbalColonies / KerbalColoniesCore
  Kerbal Colonies Mod for KSP
  ☆16Updated this week
• dalance / svls
  SystemVerilog language server
  ☆524Updated 3 weeks ago
• Lea-fish / Leafish
  A minecraft-like multi version client implemented in Rust.
  ☆872Updated last year
• ryan4yin / nixos-licheepi4a
  NixOS Running on LicheePi 4A(RISC-V)
  ☆43Updated last year
• itsfrank / MinecraftHDL
  A Verilog synthesis flow for Minecraft redstone circuits
  ☆1,227Updated 4 years ago
• Gankra / cargo-mommy
  Mommy's here to support you when running cargo~
  ☆867Updated last year
• ETC-A / etca-spec
  Extensible Turing Complete Architecture
  ☆48Updated last year
• T-K-233 / RISC-V-Single-Cycle-CPU
  RISC-V 32bit single-cycle CPUs written in Logisim, Verilog, and Chisel
  ☆440Updated 6 months ago