The goal of this server is to help people learn programming and to teach current programmers how to program more effectively. We also will support projects that simplify software development. We also teach courses and have lectures.
srchorse is a collection of PHP source code mutation tools. It includes a MySQL-based token corpus, AI-based patching, and an OS setup system.
Documentation is available at https://srchorse.com and outlines the main features of the repo's in the GitHub organization.