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
Build Agents and Models on One Platform
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
Do you want to implement your new program analysis quicky? Use bugst!
Bugst is a collection of C++ libraries whose main goal is to shorten development time of experimental tools which are necessary for evaluation of a new program analysis method. Bugst is therefore targeted to students and researchers to support their research by quick development of experiments.
The second important goal of Bugst is improving scalability of its libraries to programs used in practice, since experiments performed on such programs usually give solid experimental evidence of practical usability of the evaluated method.
...
The CINT Smartcard project is a collection of tools and libraries for testing smart card. Now it consists of a GUI tool, TestCase Manager, and two CINT pre-compiled libraries, pcsclib & gsmlib, to support PC/SC card reader and GSM commands respectively.
TRAM (short for Trace Analyse Modules) is a collection of plug-ins for the sofware Tulip (see www.tulip-software.org), which is extended in this way to analyse and display traces (resp. trace-data).
Framework provides a collection of objects designed to aid in writing C++ applications. Its features include: a unit testing framework, smart pointers, exceptions with stack traces, value-safe conversions, markup reading, XML writing, and support for mul