The complete IT asset and license management platform
Gain full visibility and control over your IT assets, licenses, usage and spend in one place with Setyl.
The platform seamlessly integrates with 100+ IT systems, including MDM, RMM, IDP, SSO, HR, finance, helpdesk tools, and more.
Learn More
The Leading All-In-One Vacation Rental Software for Property Managers
Hostaway helps you grow your property management business by automating and streamlining every aspect of your business
The dashboard and mobile app allows users to manage their marketing, sales, accounting, reporting, payment and communication needs all in one place. As premium partners of channels such as VRBO, Booking.com, Airbnb, Homeaway and Expedia, with the ability to manage advanced setups, no other platform gives you the type of control and peace of mind that a Hostaway user has. The software is designed with teams in mind - it's easy to train staff and keep them happy while improving business at the same time! Hostaway also provides a booking engine, wordpress website and both marketing and sales tools for managing your valuable direct bookings.
RetroPC-SIM is an Arduino project to help to understand how pc works
RetroPC-SIM is an opensource project, to help to understand how pc works, manage memory and registries, how it represent the numbers and negative numbers, saving results, activating flags, and all it interacting with the simulator only with binary input, also you can connect a perdorated cards reader to input the instructions code from it.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms.
Visit http://www.statecharts.org for more information!
!! YAKINDU SCT HAS MOVED !!
DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones
Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
Engage your employees and agents more efficiently with ScreenMeet as a seamless extension of your existing IT Service Delivery Platform.
ScreenMeet’s unique combination of video calling, screen share, and remote desktop functionality lets you quickly diagnose hardware and software issues with no frustration.