Search Results for "lightweight linux"

crosvm (ChromeOS Virtual Machine Monitor) is a secure, lightweight virtual machine monitor built on top of the Linux KVM hypervisor. Developed for ChromeOS, it is designed to isolate and execute Linux and Android guests efficiently while maintaining strong security boundaries. Unlike general-purpose emulators like QEMU, crosvm avoids full hardware emulation and focuses on modern paravirtualized I/O using the virtio standard, reducing complexity and attack surface. ...

HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Instead of deploying a full operating system, you compile a Haskell program into a tiny image that boots as its own VM, which reduces the attack surface and startup time. The project adapts GHC and the Haskell runtime to a minimal environment, providing the I/O, networking, and memory facilities necessary for standalone services. Its...

Dao is a lightweight and optionally typed programming language with many interesting features. It includes features that can make concurrent programming much simpler. It has well designed programming interfaces for easy embedding and extending.

An rich application development platform for both desktops and the Internet. It supports technologies like XSLT, XQuery, XML Schema, RELAX NG, XHTML, SVG, and a new scripting language - Candle (Common ApplicatioN Development LanguagE).

Poe is a lightweight scripting language. The language is written entirely in ANSI C, meaning that the language is ultra-portable (i.e. that it can exist on any platform for which there is a standard-conforming C compiler). Poe is a toy language that is not, and will never be, suitable for production use. However, writing the language was a fantastic academic exercise and the source code is available freely as a reference to anyone who may be interested. The entirety of the source...

elastiC is a Very High Level Language (VHLL) with a C-like syntax. Dynamically typed, with fast Garbage Collection, supports functional programming and robust Object Orientation. Designed to be easily extended and embedded, it's portable and lightweight.

Portable secure lightweight interpreter-based embeded java virtual machine that supports threading ,secure sand box execution enviroment

Pika is a fast, lightweight, dynamic multi-paradigm programming language. Its list of features includes: First Class Functions, Closures, Lexical Scoping, Optimized Tail Calls, Classes, Cooperative threads, Packages, Properties and Exceptions.

Lightweight multi-platform virtual machine for Zeek Execution Enviroment (ZEE). The ZEE provide a system for developing and run applications in a cross-platform environment.