The youngest user of Rosette is a highschooler who built a verifier that a type system is sound: https://www.youtube.com/watch?v=KpDyuMIb_E0&feature=youtu.be&t=9m20s (incredible!)