Similar repositories to logicmoo/www.logicmoo.org: