For businesses wanting a platform to list, manage, and co-sell on cloud marketplaces with minimal engineering effort
Streamline and automate your cloud sales cycle, enhance operational efficiency, and capitalize on marketplace opportunities with the Clazar Cloud Sales Acceleration Platform.
Learn More
Contractor Foreman is the most affordable all-in-one construction management software for contractors and is trusted by contractors in more than 75 countries.
For Residential, Commercial and Public Works Contractors
Starting at $49/m for the WHOLE company, Contractor Foreman is the most affordable all-in-one construction management system for contractors. Our customers in 75+ countries and industry awards back it up. And it's all backed by a 100 day guarantee.
A standalone, portable Ada package for configuration files
Config is an Ada package for parsing configuration files (.ini, .inf, .cfg, ...) and retrieving keys of various types. New values for single keys, or entire sections, can be set. Standalone and unconditionally portable code.
Alire crate: https://alire.ada.dev/crates/ini_files
Mirror: https://github.com/zertovitch/ini-files
TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available.
More information on... https://texcad.sourceforge.io/
Alire crate: https://alire.ada.dev/crates/texcad
Mirror: https://github.com/zertovitch/texcad
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)