Coral – A gradually-typed, optimizing mini-Python compiler written in OCamlgithub.com/ja30676 pointsmlb22517 years ago