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
  ☆231Updated last week
• BenjaminSchaaf / turning-complete-riscv
  Rust support for a CPU I made
  ☆103Updated 2 years ago
• Infinidoge / nix-minecraft
  An attempt to better support Minecraft-related content for the Nix ecosystem
  ☆395Updated this week
• MCHPR / MCHPRS
  A multithreaded Minecraft server built for redstone.
  ☆1,890Updated 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
• adisbladis / zephyr-nix
  Develop Zephyr projects using Nix [maintainer=@adisbladis]
  ☆62Updated last week
• grandseiken / factorio-ultracube
  Factorio overhaul mod with a focus on logistic and automation challenges
  ☆35Updated 2 weeks ago
• chipsalliance / chisel-nix
  Nix template for the chisel-based industrial designing flows.
  ☆45Updated 3 months ago
• VHDL-LS / rust_hdl
  ☆417Updated last month
• samitbasu / rust-hdl
  A framework for writing FPGA firmware using the Rust Programming Language
  ☆398Updated 2 months ago
• KerbalColonies / KerbalColoniesCore
  Kerbal Colonies Mod for KSP
  ☆15Updated this week
• Gankra / cargo-mommy
  Mommy's here to support you when running cargo~
  ☆873Updated last year
• Ninlives / minecraft.nix
  Command line Minecraft launcher managed by nix
  ☆57Updated this week
• 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…
  ☆206Updated this week
• veryl-lang / veryl
  Veryl: A Modern Hardware Description Language
  ☆758Updated this week
• chuangzhu / nixos-xlnx
  NixOS on Xilinx Zynq and ZynqMP
  ☆34Updated 2 months ago
• fnuecke / oc2
  RISC-V VMs in Minecraft.
  ☆633Updated last year
• itsfrank / MinecraftHDL
  A Verilog synthesis flow for Minecraft redstone circuits
  ☆1,223Updated 4 years ago
• wgpu-mc / wgpu-mc
  Rust-based replacement for the default Minecraft renderer
  ☆557Updated 3 months ago
• Kronark / Compiler-Specifications
  ☆26Updated last year
• 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
• owengage / fastnbt
  Fast serde serializer and deserializer for Minecraft's NBT and Anvil formats
  ☆253Updated 11 months ago
• liff / waveforms-flake
  A Nix flake for Digilent Waveforms
  ☆13Updated 2 months ago
• Supreeeme / xrizer
  XR-ize your favorite OpenVR games
  ☆107Updated 2 weeks ago
• rj00a / evenio
  An event-driven Entity Component System
  ☆145Updated 11 months ago
• alegnani / verifactory
  A verifier for Factorio blueprints, enabling one to automatically check logical properties
  ☆37Updated 7 months ago
• M1rageDev / Firefly
  Revamped Atmospheric Effects for KSP
  ☆40Updated last month
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆55Updated last week
• nvim-computercraft / lua-ls-cc-tweaked
  Lua Language Server library for CC: Tweaked
  ☆32Updated 4 months ago
• mirrexagon / nixpkgs-esp-dev
  Nix flake and overlay for ESP8266 and ESP32 development.
  ☆222Updated this week