/

• .gitignore
• LICENSES
• Makefile
• README.md
• common
• containerfiles
• cooker
• debug
• demo
• eater
• operations.c
• operations.h
• scripts
• seitan-run
• seitan.c
• tests-utils
• tests
• vm-images
• web