I am coauthor of Lurch: a word processor that can check your mathematical reasoning. You can read all about Lurch at lurchmath.org.
I am a developer and user of AiM: Assessment in Mathematics, web-based software to help master the concepts in their mathematics classes. I use the software in both Math 102 and Math 108 course at the University of Scranton. Our AiM server is located at mathematics.scranton.edu (you need an account to login).
I have written several Maple packages for specialized purposes, usually related to undergraduate math courses I teach. They will be listed below eventually.