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
Try Google Cloud Risk-Free With $300 in Credit
No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Robust, Lightweight, Cross-platform, Template Software. STLSoft is a collection of STL and standard library extensions, and facades over operating-system and 3rd-party APIs.
Simple, easy-to-use, efficient testing library, for C, C++, Java, .NET, Python and Ruby. Combining high discoverability and low coupling, xTests is a lightweight solution designed for use in verifying other libraries.
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
xContract is suite of per-language libraries that provide facilities for defining and enforcing software contracts. Intended to be used, where desired, in release modes/builds, xContract emphasises efficiency in addition to clarity and succinctness.
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
Code Distance Visualizer is a static program analyzer. It learns patterns in user defined faulty and correct code instances and using visualization indicates which fragments in a program’s source code are the most similar to these instances.
Utility to dump undecorated C++ symbols from C/C++ libraries in a sorted fashion. Useful for testing new library versions for backwards ABI compatibility, among other things. Requires a valid install of VS.Net 2003 or VS 2005, and the .NET 2.0 framework.
CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)
This project has been renamed "pycopia", and extended. This is no longer maintained. Pycopia is hosted at Google code hosting. Please go to: http://code.google.com/p/pycopia/
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)