Matt Ginsberg (Stanford) has made his MVL theorem prover available over the internet. See the Spring 1991 AI Magazine, p.13.

Wesley R. Elsberry (elsberry@evax.uta.edu) runs the Central Neural System BBS, a direct-dial source of neural-network information and software. He also offers FidoNet/EchoMail access nationwide, and will dump information to diskettes at little cost.

AI Expert magazine runs a forum on CompuServe, at GO AIEXPERT. It's a good way to get source code from the magazine's articles, as well as access to online discussions. There are 14 regional phone numbers, including Ontario and Switzerland.