@vitalik.eth
3sf-mini: a basic implementation and simulation of 3-slot finality
(many details of 3sf are of course still in flux; the goal is to create a minimal software package that makes it easy to understand 3sf and play around with options)
https://github.com/ethereum/research/tree/master/3sf-mini