Alternatives and similar repositories for MarklinSim

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

• daniel5151 / ts7200
  A high-level emulator for the TS-7200 Single Board Computer, as used in CS 452 - Real-Time Programming at the University of Waterloo
  ☆31Updated 3 years ago
• curtischong / complete
  The VSCode extension that accelerates dev time by 1,000,000,000%
  ☆11Updated 3 years ago
• TricksterGuy / complx
  Extensible LC-3 Simulator (GUI and CLI), Assembler, and Autograder/Test Framework written in C++. Mainly used in CS2110 at Georgia Tech
  ☆66Updated 3 years ago
• cksystemsteaching / selfie
  An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V…
  ☆2,485Updated this week
• tcbrindle / raytracer.hpp
  Simple compile-time raytracer using C++17
  ☆721Updated 4 years ago
• wahn / rs_pbrt
  Rust crate to implement a counterpart to the PBRT book's (3rd edition) C++ code. See also https://www.rs-pbrt.org/about ...
  ☆833Updated last year
• 9at8 / watch-and-learn
  A browser extension that replaces Learn’s default player with video.js
  ☆11Updated last week
• uWaterloo / OpenData
  Help and Support for University of Waterloo Open Data Initiative
  ☆94Updated 2 years ago
• mattgodbolt / pt-three-ways-pres
  Presentation for pt-three-ways - a CppCon 2019 presentation
  ☆14Updated 11 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,314Updated last year
• TheDan64 / inkwell
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,791Updated last week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,632Updated last year
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,126Updated last year
• spencertipping / jit-tutorial
  How to write a very simple JIT compiler
  ☆1,898Updated 4 years ago
• smajidzahedi / ECE350
  Real-time Operating Systems
  ☆19Updated 2 years ago
• jauhien / iron-kaleidoscope
  LLVM tutorial in Rust language
  ☆1,228Updated last year
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,185Updated this week
• green7ea / blog
  A short description of the C++ build process
  ☆1,209Updated 6 months ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆831Updated last year
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,097Updated last week
• facebookexperimental / MIRAI
  Rust mid-level IR Abstract Interpreter
  ☆1,010Updated last year
• diffblue / cbmc
  C Bounded Model Checker
  ☆1,008Updated this week
• alexieyizhe / intern.plus
  Upgrade your internship hunting experience.
  ☆55Updated 2 years ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,574Updated last year
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,147Updated last year
• UAPSPC / Code-Archive
  ☆57Updated 2 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,599Updated 3 years ago
• brendanzab / codespan
  Beautiful diagnostic reporting for text-based programming languages.
  ☆1,266Updated 2 months ago
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆469Updated last month
• zandershah / notes
  https://zandershah.github.io/notes/
  ☆18Updated 5 years ago