A language for typed, constraint-guided and efficient LLM programming.
Latest commits.
Builders behind this project.
