Search Results for "base"
Sort By:
Showing 4 open source projects for "base"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Build Agents and Models on One PlatformGemini 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.
-
1
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
2
TuBa, the Turorial Base, is an environment for creating developer tutorials with support of elucidative programming (EP). Unlike other EP-systems it is able to handle all artefacts, that appear in a development process.
-
3
JxRef is a tool that will help you identify refactoring opportunities in a Java code base. It can also provide information that will help you identify potential risks of making a code change.
-
4
'Visual Database' is a data base visual design tool that help both database developer and administrator to manage and control the DBMS they work on it
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
- Previous
- You're on page 1
- Next
