Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
Stop Storing Third-Party Tokens in Your Database
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
Mercury is a modern logic/functional programming language. The Mercury system includes a
compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor
of logic programming languages such as Prolog.
bedevere provides a SWIG wrapper to the GNU Prolog compiler. Current
emphasis is on Python support. Other languages supported by SWIG will
likely be accepted as long as they do not interfere with Python
support.
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.
MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.