610 projects for "virtual windows machine" with 2 filters applied:

  • 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
  • $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
  • 1
    FairChem

    FairChem

    FAIR Chemistry's library of machine learning methods for chemistry

    FAIRChem is a unified library for machine learning in chemistry and materials, consolidating data, pretrained models, demos, and application code into a single, versioned toolkit. Version 2 modernizes the stack with a cleaner core package and breaking changes relative to V1, focusing on simpler installs and a stable API surface for production and research. The centerpiece models (e.g., UMA variants) plug directly into the ASE ecosystem via a FAIRChem calculator, so users can run relaxations,...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    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...
    Downloads: 31 This Week
    Last Update:
    See Project
  • 3
    ConnectBot

    ConnectBot

    ConnectBot is the first SSH client for Android

    ConnectBot is a secure shell client for the Android platform. Its ultimate goal is to create a secure connection through which you can use a shell on a remote machine and transfer files back and forth to your phone. ConnectBot is a powerful open source SSH (Secure Shell) client. It can handle several simultaneous sessions, create secure connections in tunnel mode and allows Copy/Paste from other applications. This client allows you to connect to SSH (Secure Shell) servers that typically...
    Downloads: 20 This Week
    Last Update:
    See Project
  • 4
    OPENRNDR

    OPENRNDR

    Kotlin library for creative coding, real-time and interactive graphics

    OPENRNDR is an open source framework for creative coding, written in Kotlin that simplifies writing real-time interactive software. OPENRNDR provides simple, reusable utilities with which creative coders can build robust, fast, and reliable (interactive) applications for prototyping as well as building production-quality software. With ORML you can easily connect to a number of widely used Machine Learning models, such as Facemesh, Posenet, and Stylegan. You can use OPENRNDR to visualize the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 5
    stdlib

    stdlib

    Standard library for JavaScript and Node.js

    A standard library for javascript and node.js. High performance, rigorous, and robust mathematical and statistical functions. Build advanced statistical models and machine learning libraries. Plotting and graphics functionality for data visualization and exploratory data analysis. Analyze and understand your data. Comprehensively tested utilities for application and library development. Functions to assert, group, filter, map, pluck, and transform your data both in browsers and on the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Images.jl

    Images.jl

    An image library for Julia

    JuliaImages (source code) hosts the major Julia packages for image processing. Julia is well-suited to image processing because it is a modern and elegant high-level language that is a pleasure to use, while also allowing you to write "inner loops" that compile to efficient machine code (i.e., it is as fast as C). Julia supports multithreading and, through add-on packages, GPU processing. JuliaImages is a collection of packages specifically focused on image processing. It is not yet as...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    PyTensor

    PyTensor

    Python library for defining and optimizing mathematical expressions

    PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Serpent
    Serpent is a real-time scripting language inspired by Python but completely reimplemented to support real-time garbage collection and multiple instances of the virtual machines running on independent threads.
    Downloads: 17 This Week
    Last Update:
    See Project
  • 9
    FlowRedux

    FlowRedux

    Kotlin Multiplatform Statemachine library with nice DSL based on Flow

    Building async. running Kotlin Multiplatform state machine made easy with a DSL and coroutines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 10
    Netcap

    Netcap

    A framework for secure and scalable network traffic analysis

    The Netcap (NETwork CAPture) framework efficiently converts a stream of network packets into platform-neutral type-safe structured audit records that represent specific protocols or custom abstractions. These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    Percy

    Percy

    Build frontend browser apps with Rust + WebAssembly

    Percy is a frontend framework that enables developers to build web applications using Rust and WebAssembly, offering an alternative to JavaScript-based frameworks. It provides a virtual DOM implementation and a declarative syntax through macros that allow developers to define UI components in a way similar to JSX or HTML templating systems. Percy supports multiple rendering strategies, including client-side rendering, server-side rendering, and hybrid approaches, giving developers...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    AliasVault

    AliasVault

    Privacy-first password manager with built-in email aliasing

    AliasVault is a privacy-first password manager and identity protection platform that combines secure credential storage with built-in email aliasing to help users maintain anonymity and reduce tracking across the web. It is designed as an end-to-end encrypted system where all sensitive data, including passwords, usernames, notes, and email content, is encrypted on the client side before being transmitted or stored, ensuring that even the server cannot access user data. The platform...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Apache Flink

    Apache Flink

    Stream processing framework with powerful stream

    Apache Flink is a distributed engine for stateful computations over data streams and batches, designed for low-latency processing at scale. Its core runtime executes dataflow graphs with fine-grained backpressure and checkpointing, allowing applications to recover consistently from failures. Flink’s event-time model and watermarks enable accurate out-of-order processing, windowing, and complex time semantics that typical real-time systems struggle with. Developers program against high-level...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    GitHub Actions Runner Images

    GitHub Actions Runner Images

    GitHub Actions runner images

    This repository contains the source code used to create the VM images for GitHub-hosted runners used for Actions, as well as for Microsoft-hosted agents used for Azure Pipelines. To build a VM machine from this repo's source, see the instructions.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Laravel Installer

    Laravel Installer

    The Laravel application installer

    ...However, we believe Laravel is the best choice for building modern, full-stack web applications. Before creating your first Laravel project, make sure that your local machine has PHP and Composer installed. If you are developing on macOS or Windows, PHP and Composer can be installed in minutes via Laravel Herd. In addition, we recommend installing Node and NPM.
    Downloads: 11 This Week
    Last Update:
    See Project
  • 16
    Deep Learning Essay Reading

    Deep Learning Essay Reading

    Read classic and new deep learning papers paragraph by paragraph

    Deep Learning Essay Reading repository is a comprehensive collection of machine learning and deep learning research summaries designed to make cutting-edge academic work more accessible. Instead of reading entire dense academic papers, contributors provide structured breakdowns and insights into the most influential research from the past decade, often including explanation highlights and key takeaways. The content spans foundational models, architectures, and training methodologies across...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    zag

    zag

    Finite state machines for building accessible design systems and UI

    A collection of framework-agnostic UI components patterns like an accordion, menu, and dialog that can be used to build design systems for React, Vue, and Solid.js. Simple, resilient component logic. Write component logic once and use it anywhere. Built-in adapters that connect machine output to DOM semantics in a WAI-ARIA-compliant way. Component logic is largely JavaScript code and can be consumed in any JS framework. Zag machine APIs are completely headless and unstyled. Use your favorite...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    The Algorithms Python

    The Algorithms Python

    All Algorithms implemented in Python

    The Algorithms-Python project is a comprehensive collection of Python implementations for a wide range of algorithms and data structures. It serves primarily as an educational resource for learners and developers who want to understand how algorithms work under the hood. Each implementation is designed with clarity in mind, favoring readability and comprehension over performance optimization. The project covers various domains including mathematics, cryptography, machine learning, sorting,...
    Downloads: 8 This Week
    Last Update:
    See Project
  • 19
    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: 2 This Week
    Last Update:
    See Project
  • 20
    ChrysaLisp

    ChrysaLisp

    Parallel OS, with GUI, Terminal, OO Assembler, Class libraries

    ChrysaLisp is a 64-bit, MIMD, multi-CPU, multi-threaded, multi-core, multi-user parallel operating system with features such as a GUI, terminal, OO Assembler, class libraries, C-Script compiler, Lisp interpreter, debugger, profiler, vector font engine, and more. It supports MacOS, Windows, and Linux for x64, Riscv64, and Arm64 and eventually will move to bare metal. It also allows the modeling of various network topologies and the use of ChrysaLib hub nodes to join heterogeneous host networks. It has a virtual CPU instruction set and a powerful object and class system for the assembler and high-level languages. It has function-level dynamic binding and loading and a command terminal with a familiar interface for pipe-style command line applications. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    syncthing-android

    syncthing-android

    Wrapper of syncthing for Android

    Syncthing is a continuous file synchronization program. It synchronizes files between two or more computers in real time, safely protected from prying eyes. Your data is your data alone and you deserve to choose where it is stored, whether it is shared with some third party, and how it’s transmitted over the internet. None of your data is ever stored anywhere else other than on your computers. There is no central server that might be compromised, legally or illegally. All communication is...
    Downloads: 12 This Week
    Last Update:
    See Project
  • 22
    Alpine.js

    Alpine.js

    A rugged, minimal framework for composing JavaScript behavior

    Alpine.js is a lightweight JavaScript framework designed to bring declarative, reactive behavior directly into HTML markup, functioning similarly in spirit to Vue but with a much smaller footprint. It’s often described as “jQuery for the modern web,” enabling you to sprinkle interactivity onto static HTML without needing a full SPA framework. 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...
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    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: 11 This Week
    Last Update:
    See Project
  • 24
    Argo Workflows

    Argo Workflows

    Workflow engine for Kubernetes

    Argo Workflows is an open source container-native workflow engine for orchestrating parallel jobs on Kubernetes. Argo Workflows is implemented as a Kubernetes CRD (Custom Resource Definition). Define workflows where each step in the workflow is a container. Model multi-step workflows as a sequence of tasks or capture the dependencies between tasks using a directed acyclic graph (DAG). Easily run compute intensive jobs for machine learning or data processing in a fraction of the time using...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ARK

    ARK

    Unstyled, accessible UI components for your design System

    Ark is a headless UI component library designed to provide the foundational logic required to build scalable and accessible design systems for modern web applications. The project focuses on separating component behavior from visual styling so developers can implement their own design language without being constrained by predefined styles. Built on top of Zag.js state machines, Ark delivers predictable and robust component logic that works consistently across multiple JavaScript frameworks....
    Downloads: 5 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB