Search Results for "secure virtual machine"

Urbit is a personal server stack built from scratch. It has an identity layer (Azimuth), virtual machine (Vere), and operating system (Arvo). A running Urbit "ship" is designed to operate with other ships peer-to-peer. Urbit is a general-purpose, peer-to-peer computer and network. Urbit is for everyone, but sometimes it is easy to get lost in this universe. It solves the hard problems of implementing a peer-to-peer network (including identity, NAT traversal, and exactly-once delivery) in the kernel so app developers can focus on business logic. ...

Kore is a web application platform for writing scalable, concurrent web-based processes in C or Python. It is built with a "secure by default" approach. It is fully privileged separated while using strong security features at the operating system level such as second, pledge, unveil, and more. Today Kore is used in a variety of applications ranging from high assurance cryptographic military devices, machine-learning stacks and even in the aerospace industry.

...So if you are interested and have C/C++ programming skills, please contact me at zahid.med@gmail.com This framework allows to emulate a network by managing ethernet packets coming from two kind of interfaces: UDP and virtual network card. This tool is similare to dynamips (GNS3) but it can manager a higher packet rate. It can help to study DDoS attacks based on Botnet using the Lightweigth C++ Virtual Machine (LwCVM) in order to emulate Bots. This project is based on the following projects and libraries: LightweighIP of the TCP/IP stack pthread libpcap for communication with virtual machines dynamips Linux MicroCore

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).

Meerkat is a distributed programming environment. It consists of a virtual machine which is suited to parallel processing. The data model is based on the concept of actors, although it is much more permissive than the traditional description.

Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

Playputer SDK is open source C/C++ framework whose purpose is to help development of virtual machine libraries for playing casual games.These libraries emulate classic home computers, video game consoles,and other hardware or software systems.

When running multiple domains through the Xen hypervisor, this library will allow a privileged domain to view the runtime state of another domain. This technique is known as virtual machine introspection.

DotGNU Portable.NET Mac OS/X framework This is a binary redistribution (for Mac OS/X) of the DotGNU Portable.NET (pnet) project. The source code is available at www.dotgnu.org as well as binary redistributables for many other platforms.

A whole lot of source code related to programming Linux systems with C