Natural Language (NL) to Linear Temporal Logic (LTL) - View it on GitHub