Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams.
ObjectBuilder perfectly organize C++ header files with any level of...
WYSIWIG conditional compilation preprocessor for Java etc.
A WYSIWYG Conditional Compilation Preprocessor for Java, Perl, C, C++, Basic, PowerShell, C#, Javascript, and other programming languages.
Many C and C++ developers rely heavily on the C preprocessor, and lament the lack of a preprocessor in Java, scripting languages, and other programming languages. The principal objection to a preprocessor is that it makes one's code difficult to read. This is indeed true for the C preprocessor. It is sometimes difficult to determine which lines of...
Template2Code (T2C) is a collection of tools dealing with template-based file generation. Currently it includes MiST - Minimal String Template engine and T2C itself that uses template based techniques to generate the sources of unit tests.
Tool written in C to generate a list of codes with symbolic names (such as #define's in C) from a description file, along with a file that allows lookup of codes to get the symbolic name.
Eclipse Plugin to generate code. Comments within your source files are used to control the generator scripts (BSH, JS). They can insert code after the comment or in separate files. On change of the comment the code is updated automatically.
CheetahWizard is an extension of the Cheetah template engine and code generator. It makes easier the use of Cheetah for the generation of multiple documents from templates in a local environment and provides a Wizard-GUI to fill in necessary information t