The main ones are Verus, Prusti and Creusot, but they take quite different approaches. This isn't redundant.