LMQL

LMQL (Language Model Query Language) introduced "Language Model Programming" — a superset of Python for weaving prompts, control flow and output constraints together, compiling to an efficient inference procedure that minimizes model calls. A foundational entry in the constrained-decoding / structured-generation ecosystem (~4.2K★). From Martin Vechev's SRI Lab (Beurer-Kellner, Fischer, Vechev); PLDI 2023. Its authors went on to found Invariant Labs (acquired by Snyk, 2025) and the lab's later AgentDojo/CaMeL agent-security line.