GitHub repository: ludgerpaehler/DreamCoder
Description: Functional DreamCoder fork for doing "stuff"