Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
Learn More
Nonprofit Budgeting Software
Martus Solutions provides seamless budgeting, reporting, and forecasting tools that integrate with accounting systems for real-time financial insights
Martus' collaborative and easy-to-use budgeting and reporting platform will save you hundreds of hours each year. It's designed to make the entire budgeting process easier and create unlimited financial transparency.
VDMPad is a simple Web IDE server for VDM-SL based upon VDMJ and Squeak Smalltalk.
You can launch a VDMPad Server on your Mac or LinuxPC and open "http://localhost:8085" with your browser.
Although VDM does NOT run on Windows platforms, you can use Windows/iOS/Android devices to open VDMPad running on Mac or Linux server.
Brainbot is a general purpose robotics research platform, with an onboard PC. Brainbot's development was funded by the Brain Engineering Lab, the Neukom Institute, and HUV, Inc.