Search Results for "kernel virtual machine" - Page 3
Sort By:
Showing 642 open source projects for "kernel virtual machine"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
1
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... -
2
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. ... -
3
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... -
4
Sysdig
Linux system exploration and troubleshooting tool
Continuously assess cloud security posture by flagging misconfigurations and suspicious activity. Consolidate container and host scanning in a single workflow. Automate scanning locally in your CI/CD tools without images leaving your environment and block vulnerabilities pre-deployment. Visualize all network communication across apps and services. Apply microsegmentation by automating Kubernetes-native network policies. Unify threat detection and incident response across containers,... -
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.
-
5
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. -
6
DeepPavlov
A library for deep learning end-to-end dialog systems and chatbots
DeepPavlov makes it easy for beginners and experts to create dialogue systems. The best place to start is with user-friendly tutorials. They provide quick and convenient introduction on how to use DeepPavlov with complete, end-to-end examples. No installation needed. Guides explain the concepts and components of DeepPavlov. Follow step-by-step instructions to install, configure and extend DeepPavlov framework for your use case. DeepPavlov is an open-source framework for chatbots and virtual... -
7
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. -
8
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. ... -
9
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. ... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
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. ... -
11
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. -
12
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... -
13
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. ... -
14
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... -
15
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. -
16
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. -
17
systemd
The systemd system and service manager
systemd is a suite of basic building blocks for a Linux system. It provides a system and service manager that runs as PID 1 and starts the rest of the system. systemd provides aggressive parallelization capabilities, uses socket and D-Bus activation for starting services, offers on-demand starting of daemons, keeps track of processes using Linux control groups, maintains mount and automount points, and implements an elaborate transactional dependency-based service control logic. systemd... -
18
Jainja
Jainja is a JVM (Java Virtual Machine) written in Java
Jainja is a JVM (Java Virtual Machine) written in Java. The VM is developed by using the smallest possible subset of Java in order to run on top of multiple environments : Java SE, JavaME, Android, Javascript, and even natively. -
19
IElixir
Jupyter's kernel for Elixir programming language
Jupyter's kernel for Elixir. You can manage your packages in runtime with Boyle. Name of the package honours remarkable chemist, Robert Boyle. This package allows you to manage your Elixir virtual enviromnent without need of restarting erlang virtual machine. Boyle installs environment into ./envs/you_new_environment directory and creates new mix project there with requested dependencies. -
20
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.
-
21
a sed like script language for parsing context free languages. the language implements a virtual machine which is appropriate for parsing and transforming context free languages. an implementation in c++ is nearing completion (apr07)
-
22
cygWinux
Learn Linux the easy way without the Linux kernel using the Windows OS
What is cygWinux? cygWinux is a cygwin distro that does not require a time -consuming installation of cy.gwin cygWinux is a computer program like an OS distro that needs to be installed into Windows like a traditional application so that you can use it with you on a mobile device or drive and use it like a Windows program. When a USB flash drive, portable hard drive, or other mobile device is installed or your cloud drive is synced, you have access to your software and personal data just... -
23
RemoteBox
A client for the remote use of VirtualBox on a server
RemoteBox is an open-source VirtualBox client which means you can remotely administer (ie over the network) an installation of VirtualBox on a server, including its guests and interact with them as if they were running locally. VirtualBox is installed on the server machine and RemoteBox runs on the client machine. RemoteBox provides a complete Gtk 3 graphical interface with a look and feel similar to that of VirtualBox's native GUI and supports the vast majority of features. -
24
SUNY Pascal
SUNY Stony Brook Pascal for the IBM/360 written in XPL
This Pascal compiler was created by the Computer Science Department of SUNY in Stony Brook back in 1975. The Pascal compiler generates code for the IBM 360 and is written in XPL. This project includes the source code for the Pascal compiler and the XPL compiler. This project also includes an IBM/360 simulator capable of running the output of both the Pascal compiler and the XPL compiler. The simulator is written in C and can run on most machines with a C compiler. -
25
BitVisor is a tiny hypervisor initially designed for mediating I/O access from a single guest OS. Its implementation is mature enough to run Windows and Linux, and can be used as a generic platform for various research and development projects.
