Search Results for "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. ...

...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. From embedded platforms all the way to high-performance servers. Kore scales. Kore is open source software licensed under the ISC license and developed in my spare time. If Kore helped you or your company please consider a donation to help any future development. Kore provides official docker images for its releases.

RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. ...

...You can develop for different platforms, such as retro and new. Main goals and benefits of XDev =============================== + Simplicity, + Reliability, + Small size of the target machine code, + The widely using of the great achievements of the European school of programming, such as safe and modular programming languages - Oberon, Oberon-2, Component Pascal.

The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.

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

FreeWPC is a software framework for writing new software for 1990's Bally/Williams pinball machines. The framework allows you to build your own ROM images, define your own game rules, incorporate dot matrix animations, design lamp shows, and so on.

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.

JDS(oE) is a Developer Suit of Embeded system. It's a IDE, whice include a vritual machine portable interface, an RTOS, a group of bin tools and some build script.

Application framework for modularizing *nix applications into discretely-purposed components. Resourcerver binds a system of processes together with a local-machine server which facilitates and controls IPC. A primary focus is application security.

An open source implementation of FSM (Finite State Machine) programming framework in C language.

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