This is an implementation of Bob Nystrom's Lox language written in SPARK/Ada. The emphasis of this port lies on (formal) correctness and provability. Speed and elegance are taken to be secondary virtues.
References:
- The Book
- Bob's Github repos
- I occasionaly take hints from Ivan's C++ version of Lox