Search Results for "kernel virtual machine" - Page 4
Sort By:
Showing 746 open source projects for "kernel virtual machine"
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
BlockScout
Blockchain explorer for Ethereum based network
Blockscout provides a comprehensive, easy-to-use interface for users to view, confirm, and inspect transactions on EVM (Ethereum Virtual Machine) blockchains. Blockscout currently supports a wide range of projects and hosts chains such as Ethereum, Ethereum Classic, Gnosis Chain, RSK, LUKSO, Astar, and many more. BlockScout is an Elixir application that allows users to search transactions, view accounts and balances, and verify smart contracts on the Ethereum network including all forks and sidechains. ... -
2
Unity ML-Agents Toolkit
Unity machine learning agents toolkit
Train and embed intelligent agents by leveraging state-of-the-art deep learning technology. Creating responsive and intelligent virtual players and non-playable game characters is hard. Especially when the game is complex. To create intelligent behaviors, developers have had to resort to writing tons of code or using highly specialized tools. With Unity Machine Learning Agents (ML-Agents), you are no longer “coding” emergent behaviors, but rather teaching intelligent agents to “learn” through a combination of deep reinforcement learning and imitation learning. ... -
3
Clash
Haskell to VHDL/Verilog/SystemVerilog compiler
Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog. Clash is an open-source project, licensed under the permissive BSD2 license, and actively maintained by QBayLogic. The... -
4
Solang
Solidity Compiler for Solana, Polkadot and Stellar
Solang is a modern Solidity compiler written in Rust that enables developers to compile smart contracts for multiple blockchain platforms beyond Ethereum, such as Solana, Polkadot, and Soroban. Unlike the traditional Solidity compiler, which targets the Ethereum Virtual Machine, Solang focuses on portability by translating Solidity code into native execution environments for different blockchains. It uses the LLVM compiler framework to generate optimized output, often producing WebAssembly or platform-specific binaries that improve execution efficiency and reduce resource consumption. The project maintains compatibility with Solidity 0.8 syntax while adapting to the unique constraints and capabilities of each target blockchain. ... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
MCiSEE
All of Minecraft, EASILY get Minecraft resources
...It bridges the gap between game simulation and AI experimentation by providing tools that connect Minecraft gameplay with external algorithms. Developers can extend the platform to test new approaches to artificial intelligence within a complex virtual environment. -
6
Vectras-VM-Android
A virtual machine app for Android based on QEMU.
Welcome to Vectras VM! A virtual machine app for Android based on QEMU that lets you emulate various OSes including Windows, macOS, Linux, and Android. -
7
PyTorch Geometric
Geometric deep learning extension library for PyTorch
It consists of various methods for deep learning on graphs and other irregular structures, also known as geometric deep learning, from a variety of published papers. In addition, it consists of an easy-to-use mini-batch loader for many small and single giant graphs, a large number of common benchmark datasets (based on simple interfaces to create your own), and helpful transforms, both for learning on arbitrary graphs as well as on 3D meshes or point clouds. We have outsourced a lot of... -
8
forkd
Fork() for AI agent microVMs
forkd is a microVM sandbox runtime designed for high-speed AI agent fan-out. Instead of cold-booting a separate virtual machine for every worker, it forks children from a warmed parent snapshot and uses copy-on-write behavior to share the initial memory state. This makes it useful for spawning many isolated agent environments quickly during parallel research, testing, or code execution. The project is focused on runtime performance, sandbox isolation, and efficient branching from a live or prepared VM state. ... -
9
Amazon CodeGuru Profiler Python Agent
Amazon CodeGuru Profiler Python Agent
...Use CodeGuru Profiler to help profile your applications in the cloud from a single, centralized dashboard. CodeGuru Profiler currently supports applications written in all Java virtual machine (JVM) languages and Python. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
ravynOS
A BSD-based OS project that aims to provide an experience with MacOS
...So we are creating ravynOS, an OS aimed to provide the finesse of macOS with the freedom of FreeBSD. This is a developer preview image that’s mainly intended for helping build the system. We recommend running in a virtual machine, although it should work on any hardware supported by FreeBSD-CURRENT (14.0) with at least 2GB (8GB recommended) RAM. PLEASE NOTE: On 2022-02-14, we decided to abandon the current path of using X11/KDE desktop components and write from scratch a new UI that will align better with our goals. This stepping back will slow the project but ultimately should result in a better outcome. ... -
11
CasADi
CasADi is a symbolic framework for numeric optimization
...CasADi's backbone is a symbolic framework implementing forward and reverse modes of AD on expression graphs to construct gradients, large-and-sparse Jacobians, and Hessians. These expression graphs, encapsulated in Function objects, can be evaluated in a virtual machine or exported to stand-alone C code. Initial value problems in ordinary or differential-algebraic equations (ODE/DAE) can be calculated using explicit or implicit Runge-Kutta methods or interfaces to IDAS/CVODES from the SUNDIALS suite. Derivatives are calculated using sensitivity equations, up to arbitrary order. -
12
Hyperledger Cello
Operating System for Enterprise Blockchain
Hyperledger Cello is a blockchain operation and provisioning system designed to automate the deployment, management, and scaling of Hyperledger Fabric networks. As part of the Hyperledger project under the Linux Foundation, Cello aims to offer Blockchain-as-a-Service (BaaS) by abstracting the complexity of infrastructure setup for consortiums and enterprises. It provides a dashboard, APIs, and orchestration tools to help users create, monitor, and manage blockchain nodes, ledgers, and... -
13
VVV
An open source Vagrant configuration for developing with WordPress
...VVV requires recent versions of both Vagrant and VirtualBox to be installed. Vagrant is a “tool for building and distributing development environments”. It works with virtualization software such as VirtualBox to provide a virtual machine sandboxed from your local environment. In addition to VirtualBox, provider support is also included for Parallels, Hyper-V, VMWare Fusion, and VMWare Workstation. -
14
Chicory
Native JVM WebAssembly runtime
Chicory is a WebAssembly runtime designed specifically for the Java Virtual Machine, enabling developers to run Wasm modules entirely within Java applications without requiring native dependencies or JNI. Implemented in pure Java, it provides a portable and secure execution environment that can run anywhere the JVM is available, including cloud, desktop, and embedded systems. The runtime loads WebAssembly binaries and exposes their functions as callable Java APIs, allowing seamless integration with existing Java codebases. ... -
15
conflux-rust
The official Rust implementation of Conflux protocol
...Conflux introduces a Tree-Graph consensus mechanism that allows parallel block processing while maintaining consensus integrity. This implementation focuses on performance and is compatible with the Ethereum Virtual Machine (EVM), enabling developers to deploy smart contracts written for Ethereum. It provides a robust foundation for dApps, DeFi, and Web3 applications in regions requiring regulatory compliance and scalability. -
16
PRML
PRML algorithms implemented in Python
PRML repository is a respected and well-maintained project that implements the foundational algorithms from the famous textbook Pattern Recognition and Machine Learning by Christopher M. Bishop, providing a practical and accessible Python reference for both students and professionals. Rather than just summarizing concepts, the repository includes working code that demonstrates linear regression and classification, kernel methods, neural networks, graphical models, mixture models with EM algorithms, approximate inference, and sequential data methods — all following the book’s structure and notation. ... -
17
Lux
The Lux Programming Language
Lux is a new programming language in the making. It's meant to be a functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript, Python, Lua, or Ruby interpreters. Lux is in the beta stage. The JVM compiler is pretty stable and the standard library has grown to a respectable size. Also, new experimental support for JavaScript, Python, Lua, and Ruby has been added. Read carefully before using this project, as the license disallows commercial use, and has other conditions which may be undesirable for some. ... -
18
quadplay
The quadplay fantasy console
quadplay✜ is a fantasy console by CasualEffects for creating and playing retro-style video games on any device. Create and play games on any laptop, desktop, tablet, or phone. Or, build your own programmable arcade machine from a Raspberry Pi, Tegra, or old computer. Create games on Windows, macOS, Linux. Play your games in any modern web browser on a laptop, desktop, tablet, phone, Raspberry Pi 4, or Jetson Nano. 60 fps @ 384 x 224 pixels = 12:7 aspect ≈ 16:9.3. 4096 sRGB (4:4:4) colors. Four players with virtual controls for D-pad and eight buttons. ... -
19
Gravity language
Gravity Programming Language
...It is written in portable C code that can be compiled on any platform using a C99 compiler. The VM code is about 4K lines long, the multipass compiler code is about 7K lines and the shared code is about 3K lines long. The compiler and virtual machine combined add less than 200KB to the executable on a 64-bit system. -
20
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation... -
21
mruby
Lightweight Ruby
...It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. One of its core strengths is its embeddability, allowing developers to integrate scripting capabilities directly into applications written in C or C++. mruby also includes a package system called mrbgems, which enables modular extension of functionality through additional libraries. ... -
22
PyQuil
A Python library for quantum programming using Quil
PyQuil is a Python library for quantum programming using Quil, the quantum instruction language developed at Rigetti Computing. PyQuil serves three main functions. PyQuil has a ton of other features, which you can learn more about in the docs. However, you can also keep reading below to get started with running your first quantum program. Without installing anything, you can quickly get started with quantum programming by exploring our interactive Jupyter Notebook tutorials and examples. To... -
23
WSLg
Enabling Windows Subsystem for Linux to include support for Wayland
...WSLg provides an integrated experience for developers, scientists or enthusiasts that prefer or need to run Windows on their PC but also need the ability to run tools or applications which works best, or exclusively, in a Linux environment. While users can accomplish this today using a multiple system setup, with individual PC dedicated to Windows and Linux, virtual machine hosting either Windows or Linux, or an XServer running on Windows and projected into WSL, WSLg provides a more integrated, user friendly and productive alternative. WSLg strives to make Linux GUI applications feel native and natural to use on Windows. From integration into the Start Menu for launch to appearing in the task bar, alt-tab experience to enabling cut/paste across Windows and Linux applications. -
24
SDGym
Benchmarking synthetic data generation methods
...Select any of the publicly available datasets from the SDV project, or input your own data. Choose from any of the SDV synthesizers and baselines. Or write your own custom machine learning model. In addition to performance and memory usage, you can also measure synthetic data quality and privacy through a variety of metrics. Install SDGym using pip or conda. We recommend using a virtual environment to avoid conflicts with other software on your device. -
25
Ethereum Yellow Paper
The "Yellow Paper": Ethereum's formal specification
The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. ...
