Alternatives and similar repositories for mips-simulator

Users that are interested in mips-simulator are comparing it to the libraries listed below

• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 2 years ago
• losfair / Violet
  Superscalar RISC-V processor written in Clash.
  ☆34Updated 3 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• pku-minic / first-step-rs
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Updated 2 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 3 years ago
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 4 years ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated 4 months ago
• skyzh / mips-cpu
  💻 A 5-stage pipeline MIPS CPU implementation in Verilog.
  ☆32Updated 5 years ago
• Booob / P523
  P523 Code
  ☆27Updated 10 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆107Updated 2 weeks ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 7 years ago
• skyzh / RISCV-Simulator
  💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…
  ☆203Updated 5 years ago
• shady831213 / terminus
  A riscv isa simulator in rust.
  ☆65Updated last year
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 7 years ago
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• TianhuaTao / uCore-SMP
  A Symmetric Multiprocessing OS Kernel over RISC-V
  ☆32Updated 3 years ago
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆33Updated 4 years ago
• trackoor / RayTracer.ml
  🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
  ☆19Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• dramforever / finlog
  Compiling finite generators to digital logic. WIP
  ☆14Updated 5 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• xen0n / larva
  PoC LoongArch - RISC-V emulator
  ☆32Updated last year
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated last month
• trackoor / Chi
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Updated 5 years ago
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆72Updated this week
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆47Updated 3 months ago
• POETSII / tinsel
  Manythread RISC-V overlay for FPGA clusters
  ☆38Updated 2 years ago