Alternatives and similar repositories for mips-simulator

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

• losfair / Violet
  Superscalar RISC-V processor written in Clash.
  ☆35Updated 3 years ago
• imkiva / valheim
  Just for fun riscv64 emulator, which boots the Linux.
  ☆41Updated 3 years ago
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 3 years ago
• Booob / P523
  P523 Code
  ☆30Updated 11 years ago
• POETSII / tinsel
  Manythread RISC-V overlay for FPGA clusters
  ☆39Updated 4 months ago
• PrincetonUniversity / DeepSpecDB
  ☆28Updated 2 months ago
• pku-minic / first-step-rs
  Take your first step in writing a compiler. Implemented in Rust.
  ☆16Updated 2 years ago
• tchajed / futex-tutorial
  ☆17Updated last year
• skyzh / RISCV-Simulator
  💻 RISC-V Simulator of RV32I ISA. 5-stage pipeline / out-of-order execution with Tomasulo algorithm and Speculation. Support runtime visu…
  ☆206Updated 5 years ago
• Harry-Chen / rust-mips
  Rust library for low-level abstraction of MIPS processors
  ☆31Updated 5 years ago
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 7 years ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆113Updated 5 months ago
• skyzh / mips-cpu
  💻 A 5-stage pipeline MIPS CPU implementation in Verilog.
  ☆34Updated 5 years ago
• open-s4c / vsyncer
  Verification and optimization tool for concurrent code
  ☆27Updated 6 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆56Updated 4 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• shady831213 / terminus
  A riscv isa simulator in rust.
  ☆65Updated 2 years ago
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆66Updated 7 months ago
• rcore-os / aCore
  Asynchronous OS kernel written in Rust.
  ☆32Updated 5 years ago
• memoryleak47 / slotted-egraphs
  ☆38Updated 2 weeks ago
• philzook58 / nand2coq
  Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
  ☆58Updated 4 years ago
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆49Updated last week
• rustcc / GEFS
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Updated 5 years ago
• pfalcon / ssabook
  Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …
  ☆150Updated 5 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆173Updated 2 years ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 4 years ago
• clash-lang / clash-starters
  Projects to get started with Clash
  ☆32Updated 3 weeks ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆16Updated 4 years ago
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆36Updated 3 years ago