Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.
With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.
Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
Learn More
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
TreeForm Syntax tree drawing software is a Linguistic Syntax/Semantics tree drawing editor. Designed for graphical n-ary tree drawing. Mac users can install the software through the new package, but must give authority through "System Preferences" > "Security & Privacy". Windows and Linux users can run the software through the JAR file directly. All users must have Java 8 or higher installed. https://java.com/en/download/
Checklist Tree is a hierarchical checklist application for Windows Mobile. It uses a simple, flat file XML storage format for items and settings, the idea being that it should be editable in a simple text editor, viewed by a web browser; and applications
XSL-FO Formatting markup WYSIWYG editor & PDF tree BookMark. XML document which is most often used as PDFs or RTF generator. It can read and edit 95% from Apache fop sample. Export to fo,pdf,rtf,tif fax, page, Import fo,html,page,odt OpenOffice 1-2
CAXO (Component for Accessing XML based Objects) is mapping any xml based object to a multiline and editable tree structure. CAXO is a JComponent, and direct implementable in any swing container. In default configuration, CAXO is an xml browser or editor
Multi-Entity Cloud Accounting Software for Growing Businesses
Built for small to midsize businesses that have outgrown entry-level accounting or legacy ERP solutions.
Built natively on the Microsoft Power Platform (Dynamics 365), Gravity delivers robust multi-entity financial management with seamless integration to Microsoft 365, Power BI, Teams + Copilot — no third-party add-ons required.