eth-sri / lmql Python 4.2K 223 A language for constraint-guided and efficient LLM programming. chatgpt huggingface language-model programming-language