A high-level language that allows researchers to unambiguously define their research algorithms. - View it on GitHub