Explore projects

Haskell-Projekt für mein Masterprojekt

Fork of the dOSEK source code for verification

st - structure tool/translator

A C++ class to access x86/amd64 control registers

Configure and simulate computer architectures.

The C Annotation and Rewriting Tool