instruction-set-architecture topic

Super scalar Processor design

sdasgup3

:floppy_disk: The LC3 virtual machine

dmjio

Advanced Matrix Extensions (AMX) Guide

mikeroyal

Rust implementation of AluVM (RISC functional machine)

AluVM

RISC-V Assembly code assembler package for Python.

kcelebi

Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of funct...

katamaran-project

64-bit RISC CPU Architecture

orbit-systems