Open Source C Virtual Machine Software

GXemul is a full-system computer emulator, emulating processors (ARM, MIPS, M88K, PowerPC, and SuperH) and surrounding peripherals, in some cases well enough to let unmodified guest operating systems run as if they were running on real hardware.

This program emulate the Sega's System 16 arcade boards used by many Sega arcade game between 1987 & 1989 like Shinobi, Altered Beast or E-Swat. There is more than 20 existing System 16 games. The System 16 board uses a Motorola 68000 cpu at 10Mhz for the main program and a Z80 and on YM2151 for the sound. The actual version of the emulator emulate many more than the single System 16 board because now you can play with System 18 games like Shadow Dancer, with pre-System 16 games like Quartet II and even with some dual 68000 games like Hang-On and Space Harrier. This program is an emulator and it needs roms to run, please, don't e-mail be to get roms, i'll ignore your requests !

A hardware supported hypervisor originally built for malware analysis. Features: Linux VM introspection, minimal detectability, small (~150KB), simple, and well documented. Can be used for other purposes. Support for Intel-VT & Windows coming soon.

Hardware Simulation and Vitualization Environment: Unfortunately I have lost my source code in a freak accident (My roommate dropped a bed onto my laptop) for this project. Please be patient and visit http://devsoft.ath.cx/crisis for more information.

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 code was written by me, Ricky Stewart, with the exception of the parser which is generated from Flex/Bison.

C-Control II (Conrad Electronic)-kompatible Virtuelle Maschine fuer die Freescale CPU12-Familie.

This project is used to simulate Bluetooth connections over TCP/IP. The server can run under Windows or Linux however Bluetooth devices can only be simulated on Linux for now. May be used to emulate Bluetooth connections between two virtual machines (e.g. VMware) running Linux. (The server would run on the host system in this case.)

Here you will find a collection of BCPL tools I've gathered from the net, cleaned up and ported to the Atari ST. This involved fixing bugs, reducing stack usage and making the code compile in 16bit via Pure C (Turbo C for the Atari ST). Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. The code now compiles clean for the Atari ST, so it should work for anything else.

Embeddable JVM is a JVM for embedded systems with no OS. Class files can be executed directly from SD card. Small memory consumption (512k is enough). Only FAT16 filesystem is supported for now. Tested on LPC2478 and LPC2939 boards.

Featherweight Virtual Machine (FVM) is an OS-level virtual machine for Windows XP and Windows 2000. FVM virtualizes Windows file system, registry, kernel object, and network communication.

GHLI is GPMI's Highlevel Language Interpreter (doesn't requirey but suggests GPMI). It is an embeddable script interpreter for different script languages.GHLI aims to be small, simple and fast. Currently supports pascal-script and assembly-script.

Emulator of the newer Hewlett Packard Handheld Calculator Models with ARM CPU (HP49g+ HP50).

The goal of the Jupiter project is to investigate scalable Java Virtual Machine (JVM) architectures. Jupiter is released under GPL, A modified version of GNU Classpath is used under GPL with Exceptions http://www.gnu.org/software/classpath/license.html

LPIA is an interpreted symbolic functional language with multi-process capabilities and predefined pattern matching. It is inspired by combinatory logic, lambda calculus, Scheme and Forth. LPIA est un langage symbolique fonctionnel interprété avec des possibilités multi-processus et un filtrage prédéfini. Il est inspiré par la logique combinatoire, le lambda calcul, Scheme et Forth.

LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.

Ming language is a new OOP interpreted language engine for everyone.

Mouseth is a cross between the Mouse and Forth programming languages. The programs are compiled to a very compact, machine independant bytecode, which can then be run on its extremely small virtual machine.

N-sim is a framework for studying and developing wireless sensor networks. It emulates the computation of sensor platforms, simulates the wireless communications, and allows plug-in models for source detection simulation. Intended for cluster computing.

Open86 is a small, modular, cross-platform x86 emulator that is currently in development.

Pools of Virtual Boxes (POVB) aims to make it easy to deploy Linux Condor pools on Windows based machines using Virtual Box virtual machines.

Standard ML of Sønder Tranders.

Tcl9 is an umbrella for all projects related to the improvement of the current Tcl language, towards the hypothetical version 9 (current version is 8.5).

This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compiler. The port is intended to make the virtual machine and runtime environment more general and easily ex

jpl is a high-level, object-oriented, dynamically typed programming language.

VM-SSM uses Structured State Machines (SSM's) to implement a VM for asynchronous, event-driven solutions. It formalizes Hierarchical State Machines, provides parametrized states and events, compound and concurrent states with join and race capability.