A fork of Ashley Yakeley's JVM-Bridge, available via darcs get http://code.haskell.org/JVM-Bridge/.

License is GNU LGPL 2.1. It consists of four pieces:

• javavm: Haskell code with no use of FFI or dependency on the JNI. It's basic types plus some bytecode assembly.

• javavm-interface/Native/: thin-ish layer over the JNI and some other native stuff in C/C++. This makes no use of Haskell.

• javavm-interface/Haskell/: representation of the JNI in Haskell.

• javavm-typed/: representation of the JVM in Haskell, basically a better typed layer over javavm-interface. This code does not build. Currently, it does a great deal of type-level computation auto-generating Java class type names from the Java libraries. It ought to be completely overhauled, but serves as a detailed design.

The last of these, javavm-typed is not building at the moment (under GHC 7.6.1, Mac OS X x86_64). The first three are building, but have not been extensively tested.