A type-safe, stack-based functional programming language - View it on GitHub