Global Utilities
Global Navigation
This collection of miscelleous bits and pieces is still under development.
Extended propositional logic written in itself
A queue machine for evaluating expressions