855 projects for "virtual-machine" with 2 filters applied:

  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
    Start Free Trial
  • 1
    Alpine.js

    Alpine.js

    A rugged, minimal framework for composing JavaScript behavior

    ...You use directives like x-data, x-bind, x-on, x-if, and others to attach reactive state, event listeners, and conditional rendering straight in the DOM. Because Alpine is so minimal, it avoids virtual DOM overhead and focuses on being incremental and composable; you can use it for small interactive components inside traditional server-rendered pages. The project has grown a robust ecosystem (plugins, devtools, helper libraries) as people adopt it for micro-frontend patterns, admin panels, interactive widgets, and anything that benefits from having bits of reactivity without a heavy JavaScript framework.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    Google Cloud Platform Python Samples

    Google Cloud Platform Python Samples

    Code samples used on cloud.google

    ...The repository is organized into product-specific directories, allowing developers to quickly locate examples relevant to their use case and adapt them into production workflows. It emphasizes hands-on learning by guiding users through setup steps such as creating virtual environments, installing dependencies, and running scripts locally. These samples are designed to accelerate development by showing best practices for connecting services, handling data, and managing cloud resources programmatically.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    PyOpenCL

    PyOpenCL

    OpenCL integration for Python, plus shiny features

    ...PyOpenCL also includes convenient features for managing memory, compiling kernels, and interfacing with NumPy, making it a preferred choice in scientific computing, data analysis, and machine learning workflows that demand acceleration.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Lean 4

    Lean 4

    Lean 4 programming language and theorem prover

    Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    Gatling

    Gatling

    Modern Load Testing as Code

    Gatling is a high-performance load testing tool built on the JVM that emphasizes realism, scalability, and developer ergonomics. Test scenarios are scripted in a concise Scala-based DSL, allowing you to model user journeys with think times, feeders (dynamic data), checks, and assertions all in code. Its asynchronous, non-blocking engine (backed by Netty) can drive very high concurrency from a single injector, reducing the need for large injector farms. Gatling supports HTTP out of the box as...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    Event Ruler

    Event Ruler

    Java library that allows matching many thousands of Events per second

    Event Ruler (called Ruler in the rest of the doc for brevity) is a Java library that allows matching Rules to Events. An event is a list of fields, which may be given as name/value pairs or as a JSON object. A rule associates event field names with lists of possible values. Event Ruler is a Java library that allows matching many thousands of Events per second to any number of expressive and sophisticated rules.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    Steampipe

    Steampipe

    Zero-ETL, infinite possibilities. Live query APIs, code & more

    Steampipe is the zero-ETL solution for getting data directly from APIs and services. We offer these Steampipe engines. SQL has been the data access standard for decades. It levels the playing field for your team, easily integrates with other systems, and accelerates delivery. Painlessly join live cloud configuration data with internal or external data sets to create new insights. Your cloud is a live database that changes fast. Don't wait on ETL to sync, or rely on old data. Crunch it where...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    scalajs-react

    scalajs-react

    Facebook's React on Scala.JS

    Scala.js React wraps Facebook React for Scala.js with a strong emphasis on type safety and functional idioms. It provides a typed virtual DOM interface, reusable components, hooks, and utilities for routing, testing, SSR, and performance profiling, all aligned with Cats, Cats Effect, and Monocle ecosystems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Peroxide

    Peroxide

    Rust numeric library with high performance and friendly syntax

    Rust numeric library contains linear algebra, numerical analysis, statistics and machine learning tools with R, MATLAB, Python-like macros. Peroxide uses a 1D data structure to represent matrices, making it straightforward to integrate with BLAS (Basic Linear Algebra Subprograms). This means that Peroxide can guarantee excellent performance for linear algebraic computations by leveraging the optimized routines provided by BLAS.
    Downloads: 2 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    Google Cloud Platform Go Samples

    Google Cloud Platform Go Samples

    Sample apps and code written for Google Cloud

    Google Cloud Platform Go Samples repository is a comprehensive collection of Go-based code examples that demonstrate how to build applications and services using Google Cloud Platform. It provides developers with practical implementations that cover a wide spectrum of cloud functionalities, including storage, compute, networking, and machine learning services. Each sample is designed to be easily reusable, allowing developers to copy code directly into their own projects as a starting point for development. The repository includes both simple quickstart examples and more advanced application patterns, often accompanied by documentation guides that explain how to deploy and run them in different environments. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 11
    FluentDocker

    FluentDocker

    Use docker, docker-compose local and remote in tests

    This library enables docker and docker-compose interactions using a Fluent API. It is supported on Linux, Windows, and Mac. It also has support for the legazy docker-machine interactions. The fluent API builds up one or more services. Each service may be composite or singular. Therefore it is possible to e.g. fire up several docker-compose-based services and manage each of them as a single service or dig in and use all underlying services on each docker-compose service.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    Hypothesis

    Hypothesis

    The property-based testing library for Python

    Hypothesis is a powerful library for property-based testing in Python. Instead of writing specific test cases, users define properties and Hypothesis generates random inputs to uncover edge cases and bugs. It integrates with unittest and pytest, shrinking failing examples to minimal reproducible cases. Widely adopted in production systems, Hypothesis boosts code reliability by exploring input spaces far beyond manually crafted tests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    BayesianOptimization

    BayesianOptimization

    A Python implementation of global optimization with gaussian processes

    BayesianOptimization is a Python library that helps find the maximum (or minimum) of expensive or unknown objective functions using Bayesian optimization. This technique is especially useful for hyperparameter tuning in machine learning, where evaluating the objective function is costly. The library provides an easy-to-use API for defining bounds and optimizing over parameter spaces using probabilistic models like Gaussian Processes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Laravel Dusk

    Laravel Dusk

    Laravel Dusk provides simple end-to-end testing and browser automation

    Laravel Dusk provides an expressive, easy-to-use browser automation and testing API. By default, Dusk does not require you to install JDK or Selenium on your machine. Instead, Dusk uses a standalone Chromedriver. However, you are free to utilize any other Selenium driver you wish.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Ultracite

    Ultracite

    A highly opinionated, zero-configuration linter and formatter

    ...It also positions itself as “AI-ready,” meaning it’s designed to integrate smoothly into workflows where AI code generation (e.g., from Copilot, Claude Code, etc) is involved, ensuring consistent style across team-written and machine-written code.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    Earth Engine API

    Earth Engine API

    Python and JavaScript bindings for calling the Earth Engine API

    ...With it, users compose lazy, server-side computations over massive catalogs of satellite imagery and vector datasets without handling raw files locally. The API exposes functional operators for map algebra, reducers, joins, and machine learning that scale transparently on Earth Engine’s backend. Developers authenticate once, work interactively in notebooks or the Code Editor, and export results to Cloud Storage, Drive, or asset collections. Visualization helpers render tiled layers and charts so analysts can iterate quickly on workflows like land-cover mapping, change detection, or time-series analysis. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    QMD

    QMD

    mini cli search engine for your docs, knowledge bases, etc.

    ...Users can organize content into named collections, embed documents for semantic retrieval, and then perform keyword searches, semantic searches, or hybrid natural-language queries to quickly surface the most useful information across all indexed sources. Because the entire system runs on the user’s machine, privacy is preserved and there’s no risk of exposing sensitive content to outside providers.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    Spin

    Spin

    Replicate your production environment locally using Docker

    Stop wasting time fixing production issues you've already solved. Spin is a bash utility that improves the user experience for teams using Docker. Replicate any environment on any machine, regardless if they are running MacOS, Windows, or Linux. Centralize your infrastructure from a single configuration file using Docker. Spin is a wrapper script that dramatically improves the developer experience when working with Docker. Spin uses officially supported features and best practices from Docker. Spin connects proven open source technologies to give you the best developer experience to maintain your own, simplified stack.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    Flama

    Flama

    Fire up your models with the flame

    Flama is a python library which establishes a standard framework for development and deployment of APIs with special focus on machine learning (ML). The main aim of the framework is to make ridiculously simple the deployment of ML APIs, simplifying (when possible) the entire process to a single line of code. The library builds on Starlette, and provides an easy-to-learn philosophy to speed up the building of highly performant GraphQL, REST and ML APIs. Besides, it comprises an ideal solution for the development of asynchronous and production-ready services, offering automatic deployment for ML models.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    Jupyter Docker Stacks

    Jupyter Docker Stacks

    Ready-to-run Docker images containing Jupyter applications

    Jupyter Docker Stacks provides a curated set of ready-to-run Docker container images that bundle Jupyter applications with popular data science and computing tools, enabling users to quickly start working in a reproducible environment. These stacks support a range of use cases, from lightweight base notebook images to full featured environments that include scientific computing libraries, machine learning tools, and IDE-like notebook interfaces, all within Docker containers that run consistently across machines. Users can pull a particular stack image and launch a Jupyter server without worrying about installing Python, R, or complex dependencies themselves — everything needed is baked into the container. This makes the stacks especially useful for education, demos, collaborative coding, and CI/CD workflows where consistent environments are crucial, and it integrates smoothly with cloud platforms, JupyterHub deployments, and Binder for interactive sharing.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    Computer Science courses video lectures

    Computer Science courses video lectures

    List of Computer Science courses with video lectures

    This repository is a curated list of full-length computer science video lecture series across many universities and MOOC platforms, helping learners assemble their own curriculum. The list spans foundational topics like algorithms, data structures, operating systems, computer networks, machine learning, and more, all delivered via lectures rather than just textual tutorials. The contributor guidelines encourage adding high-quality courses (not just casual tutorials) so the list remains academically oriented. Because it’s updated and community maintained, the collection grows with new offerings and helps learners evaluate what courses are available before starting. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    peepDB

    peepDB

    CLI tool and python library to inspect databases fast

    peepDB is an open-source command-line tool and Python library designed for developers and database administrators who need a fast and efficient way to inspect their database tables without writing SQL queries. With support for MySQL, PostgreSQL, and MariaDB, peepDB is lightweight, secure, and incredibly easy to use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Preact

    Preact

    Fast 3kB React alternative with the same modern API

    Preact is a lightweight alternative to React that implements the same core component and hooks model in a tiny footprint. It provides a virtual DOM, diffing, and a familiar Component/JSX API, enabling developers to reuse much of their React knowledge. With preact/compat, many React libraries can be used directly, making migration or code sharing practical in performance-sensitive apps. Its focus on size and speed makes it attractive for embedded widgets, mobile web, and scenarios where initial load must be extremely fast. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 24
    Stakpak

    Stakpak

    Ship your code, on autopilot. An open source agent

    Stakpak is an open-source autonomous DevOps agent designed to run continuously on a machine, managing infrastructure, deployments, and operational tasks with minimal human intervention. It acts as a persistent system-level assistant that monitors applications, executes DevOps workflows, and only alerts humans when necessary, effectively automating routine operational responsibilities. The agent is built with strong safety considerations, including guardrails that prevent destructive actions and a secure approach to handling credentials without exposing them directly to language models. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 25
    Google Kubernetes Engine (GKE) Samples

    Google Kubernetes Engine (GKE) Samples

    Sample applications for Google Kubernetes Engine (GKE)

    ...It serves as a practical companion to official GKE tutorials, providing real, runnable code that illustrates how containerized applications are packaged, deployed, and scaled within Kubernetes clusters. The repository is organized into multiple categories such as AI and machine learning, autoscaling, networking, observability, security, and cost optimization, allowing developers to explore specific use cases and architectural patterns. It includes both simple quickstart examples, like basic “hello world” applications, and more advanced scenarios such as migrating monolithic applications to microservices, implementing service meshes, and configuring custom autoscaling metrics.
    Downloads: 1 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB