Search Results for "gnu/linux"
Sort By:
Showing 5 open source projects for "gnu/linux"
View related business solutions-
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.
-
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.
-
1
Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.
-
2
This project provides cross-forge semantic search for the Qualipso Forge. It integrates A4 AdvDoc prototype (semantic search GUI and engine) with A3 homogeneous and heterogeneous cross-forge semantic search capabilities. See Qualipso.org for details
-
3
Visualgos is a collection of visualizations for algorithms written in Flash. You can see all of the visualizations on http://yuval.bar-or.org/index.php?item=7
-
4
The Mobile Autonomous Robot Simulation Framework assists in building the applications to simulate an Autonomous Mobile Robot, its interaction with the environment, behaviors and also its sensors, actuators and locomotion mechanism.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
- Previous
- You're on page 1
- Next
