Sire is a lisp-like programming language for the Plunder System, which uses the Rex notation system for extreme expressiveness. It has an ML-like type system which is self-hosted using the macro system.
Sire is implemented in Wisp to solve the Trusting Trust problem by having a fully source-based boot process.