With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
AI-powered conversation intelligence software
Unlock call analytics that provide actionable insights with our call tracking software, empowering you to identify what's working and what's not.
Every customer interaction is vital to your business success and revenue growth. With Jiminny’s AI-powered conversation intelligence software, we take recording, capturing, and meticulous analysis of call recordings to the next level. Unlock call analytics that provide actionable insights with our call tracking software, empowering you to identify what's working and what's not. Seamlessly support your biggest objectives across the entire business landscape with our innovative call tracking system.
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
AdaDoc is a tool for developers using the Ada programminglanguage (currently Ada95). Its goal is to create documentation in different formats (XML, HTML, LaTeX, ...) from a package specification.
AdaSDL is a set of Ada (programminglanguage) bindings, ports, and some original applications based on SDL (Simple DirectMedia Library - http://www.libsdl.org)
Pocomos is a cloud-based field service solution that caters to businesses
Built for the pest control industry, but also works great for Mosquito Control, Bin Cleaning, Window Washing, Solar Panel Cleaning, and other Home Service Businesses in need of an easy-to-use software that helps you simplify routing, scheduling, communications, payment processing, truck tracking, time tracking, and reporting.
Ahven is a simple unit testing framework for Ada 95 programminglanguage. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
SPARKUnit is a unit test framework for the SPARK programminglanguage. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
A formally verified implementation of cryptographic algorithms using the SPARK programminglanguage. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
AdaPackageTesting is a tool for developers using the Ada95 programminglanguage. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programminglanguage. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate