Search Results for "secure virtual machine" - Page 3
Sort By:
Showing 433 open source projects for "secure virtual machine"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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
Qiling
Qiling Advanced Binary Emulation Framework
...The API-rich Qiling Framework brings reverse and instrument binary to the next level quicker. Additionally, Qiling provides API access to register, memory, filesystem, operating system and debugger. Qiling also provides virtual machine-level API such as save and restore execution state. It combines binary instrumentation and binary emulation into one single framework. -
2
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. -
3
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. -
4
Nerves
Craft and deploy bulletproof embedded software in Elixir
Nerves is the open-source platform and infrastructure you need to build, deploy, and securely manage your fleet of IoT devices at speed and scale. Nerves is written in Elixir, but you don’t have to rewrite everything in Elixir to get the advantages of Nerves, simply bring your own code (like C, C++, Python, Rust, and more) and scale up. Nerves use the Erlang runtime system, known for being distributed, fault-tolerant, soft real-time, and highly available. Nerves has the tools you need to... -
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.
-
5
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. ... -
6
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. -
7
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. ... -
8
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... -
9
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... -
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
10
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. -
11
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. -
12
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.
-
13
Ubuntu-Business-Desktop (LXC)
Ubuntu LXQT - LXC Template for Proxmox
This is a LXC-Template witch can be used for a company or private. It's an adapted Ubuntu with x2go-Terminalserver and Webmincontrol. It's easy to control the system with webmin. You never must use the terminal. Try it! -
14
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)
-
15
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. -
16
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. -
17
VMAware
VM detection library in C++
VMAware is a cross-platform library designed to detect virtual machines. It is meant to be stupidly easy to use, with only 5 total functions in its public interface. Additionally, it supports brand detection. While there are many VM detection mechanisms that are already in use, VMAware features up to 80+ unique techniques to get the most accurate result possible. On top of the library, there's a CLI tool that takes advantage of the full library (see screenshots) It's also meant... -
18
BMDFM
Binary Modular DataFlow Machine (BMDFM)
Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a... -
19
Gentoo-KVM-Proxmox-Image
Here you can download a Gentoo VM image for KVM (Proxmox).
Here you can download a Gentoo VM image for KVM (Proxmox). The image is permanently maintained and has an update cycle of about 2 weeks. -
20
likeForth
likeForth - an IDE in one file with graphics and sound.
likeForth started out as a weekend challenge and is now a digital schrebergarten to me. It is inspired by sectorForth and project-k.js, many thanks to the developers! Included is a rather simple interpreter and a Forth compiler, which give you an interactive development environment. It doesn't contain most Forth words but will be extended from time to time. I hope, likeForth could be somewhat useful and is therefore published under MIT licence. Many thanks to Leo Brodie for his book... -
21
Objeck
Simple ⇒ Object-Oriented ⇒ Functional
Objeck is an object-oriented programming language with functional features. Objeck emphasizes, expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, and command line debugger with IDE plugins. -
22
BAScript
Scripting engine for Pascal compilers.
BAScript is a simple scripting engine written in Object Pascal you can use to add scripting to your Delphi, Lazarus or Free Pascal applications ("host program") to extend their functionality without the need of recompiling them. The virtual machine defines its own language, called the BAScript language. It is a low-level language, somewhat similar to the Assembler language, which is not intended to be easy to program but easy to execute. So it is recommendable to use other higher level languages and translate them into BAScript language. Package includes two compilers that translates from a higher-level language to the BAScript language. ... -
23
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. It keeps takes care of fetching, compiling and loading/unloading modules from dependencies list of that environment. -
24
Wheefun Graphics Library
Portable Graphics Primitives
...WFGFX at its core provides interfaces for manipulating both raster and vector images through an abstract graphics context; in many cases, several low-level primitives exist for more direct manipulation. It is designed to be easily ported to other programming environments like .NET and the Java Virtual Machine, making the codebase reusable as a result. -
25
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is...