OStatic

The goal of the project is to create specifications and provide reference parser in Java and C# for Extensible Term Language.

The goal of the project is to create extensible compiler to JVM. The compiler uses plugins and extensible syntax defined in separate project.

8088 Software Development Environment for the .NET & WIN32 platform. Program and control the windows pc with 8088 ML. Assemble, Disassemble, Emula...

OpenEiffel is the Open Source Eiffel System - Compiler, Workbench, Libraries: Participate!

This is a port of the Dis virtual machine system to POSIX-compatible operating systems, based on the original Inferno sources, including a Limbo compi...

Static analysis Model checker Software Quality Assurance

The purpose of this project is to design and implement a new computer language for application development. The two main goals are to make this new l...