git @ Cat's Eye Technologies SixtyPical / 0.2

Tree @0.2 (Download .tar.gz)


SixtyPical is a very low-level programming language, similar to 6502 assembly, with static analysis through abstract interpretation.

In practice, this means it catches things like

and suchlike.

It is a work in progress, currently at the proof-of-concept stage.

The current released version of SixtyPical is 0.2. It is a complete reboot of SixtyPical 0.1. The reference implementation is written in Python instead of Haskell. The language is much simpler — we're going to try to get the analysis completely right before adding more sophisticated and useful features in future versions.



For 0.3:

For 0.4 and/or beyond: