A substantial portion of the Juno language is implemented, most outstanding features are related to match statements, modules, and type inference
A handful of examples are present in juno_frontend/examples, including a version of CAVA though it does not compile as it depends on a number of features that are yet to be implemented.