eMaint is an award-winning Computerized Maintenance Management Software (CMMS) for managing work orders, PM schedules, and parts inventory.
50,000+ users worldwide rely on eMaint to predict failures, eliminate downtime, and improve reliability
eMaint is an award-winning, cloud-based Computerized Maintenance Management System (CMMS) software designed to improve how organizations manage their maintenance reliability operations, resources, equipment, and compliance. Suitable for any size organization or enterprise, eMaint saves companies valuable time and money by integrating the tools they need in one powerful platform.
Try it for free
viewneo - Smart software for digital advertising boards
Smart digital signage for 1 to 1000+ screens.
viewneo is a user-friendly, cloud-based solution that allows companies of all sizes to set up digital signage
Datalog variant for tool designers crafting analyses in Horn clauses
...Simple component model for Datalog specifications. Recursively defined record types/ADTs (aka. constructors) for tuples. User-defined functors. Strongly-typed types for safety. Subsumption, aggregation, Choice Construct (APLAS'21).