Eukleides is a computer language devoted to elementary plane geometry - View it on GitHub