This project implements weak memory models using causality. It allows researchers and developers to simulate and analyze the behavior of concurrent systems under different weak memory models. The project is implemented in C and provides a flexible and efficient framework for experimenting with weak memory models.