February 01, 2011
Mark Wielaard: New GPG key.
Finally created a new GPG key using gnupg. The old one was a DSA/1024 bits one and 8 years old. The new one is a RSA/2048 bits one. I will use the new one in the future to sign any release tarballs I might create. pub 2048R/57816A6A 2011-01-29 Key f...
More »
February 01, 2011
Andrew Hughes: [SECURITY] IcedTea6 1.7.8, 1.8.5, 1.9.5 Released!.
We are pleased to announce a new set of security releases, IcedTea6 1.7.8, IcedTea6 1.8.5 and IcedTea6 1.9.5.
This update contains the following security updates:
The IcedTea project provides a harness to build the source code from OpenJDK6 u...
More »
November/2024
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
| | | | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 |
25 | 26 | 27 | 28 | 29 | 30 | | | | | | | |
|
|
Virtual Machines
An implementation of the Z-machine specification in Java (>= 5), can be used either standalone or as an applet. The Z-code interpreter runs adventures made by Infocom and contemporary Interactive Fiction written in Inform (all story file versions).
More »
Jau, a VM in Java with tail-calls & continuations.
More »
This is a simulation of an open CPU, called 67-80-85. It tries to implement a simple, efficient CPU. It includes the simulator, an assembler, a sample code for a boot loader (ROM), a microkernel prototype and tests. - "The 3-legged shinning steel ...
More »
Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker.
More »
The user-mode kernel port is a port of the Linux kernel which runs in a set of processes. The result is a user-mode virtual machine and a kernel which can be debugged and developed using all of the usual process-level tools.
More »
JSVM means Javascript Virtual Machine,it can help you make your code with a better way and easy to deploy.
More »
Qemudo is a Web interface to QEMU offering a way for users to access and control multiple virtual machines (guest systems) running on one or more remote physical machines (host systems).
More »
A general purpose, object-oriented script language that compiles into byte-code for a register based virtual machine. The language is quite similar to JavaScript, Java, C and C++ and is thus easy to learn / use.
More »
VMI-Linux is a virtualization interface for Linux with the goal of introducing cross hypervisor compatibility, so a single Linux kernel can run unmodified on L4, VMware, Xen and other hypervisors, as well as native hardware, with excellent performance.
More »
JMixSim is an implementation of Donald Knuth's MIX computer. It provides a compiler for the MIXAL language and an interpreter for the resulting MIX program, both easily usable via a graphical user interface.
More »
|