Safepoints in OCaml

For an (initially daunting, but ultimately satisfying) mini-project for my Modern Compiler Design course, I implemented safepoints for OCaml. The resulting code (horribly organised) can be found on my GitHub and its write-up, which I am very proud of (except for the Excel graphics, but I was running out of patience and Tikz/Pgfplots did not seem like a pleasant adventure to embark upon in that state) can be found here. My hope is that this work will be merged into OCaml (in concept if not in code) soon and I will keep this post updated with any developments.