GitHub repository: sarvex/miniKanren125
Description: Trying to complete over 100 projects in various categories in MiniKanren