Knitout Revolution

Enter the intricate world of machine knitting as you navigate through complex soft objects and generate machine knitting patterns using a low-level Domain Specific Language. Embrace the challenges of defining correctness in machine knitting and prove the effectiveness of your knit programs through formal semantics.