You Might Also Like
Solve workplace parking problems Icon
Solve workplace parking problems

The parking management platform for businesses, enterprises and property managers

Employee and tenant parking that’s fair, simple, and stress-free. With future booking and spot sharing, parking is easy and equitable.
API-first loan management and servicing tech Icon
API-first loan management and servicing tech

Peach is the most advanced post-origination software platform, giving you the power to quickly launch innovative lending programs

Peach Finance is an API-first lending technology platform that enables fintechs and traditional financial institutions to quickly launch and confidently scale lending programs. Peach is the only lending platform built on an Adaptive Core™, a new paradigm in loan management providing complete configurability, even at scale.
The most advanced C and C++ source code analyzer Icon
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.
Kickserv Field Service Management Icon
Kickserv Field Service Management

Your service solution

Online appointments, sales and job tracking, team scheduling, estimates, invoice, online payments and more.
Model-Based Systems Engineering Software Icon
Model-Based Systems Engineering Software

Systems requirements, Modeling and Simulation, Verification and Validation in one seamless solution.

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface.

Additional Details for OpenTofu

Programming Language

Go

Registered

2023-10-26

Last Updated

Categories

Software Development

Maintainers

sf-editor1

Keep Me Updated!