TinyPy is a bit larger at 10k LOC, seems not as easily embeddable since source split among numerous files, not really suitable for embedding since it's partially bootstrapped (parser and compiler written in tinypy; although pretty cool), it's dead and stuck at py2.