Search Results for "compilers"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

UMHDL is an educational Integrated Development Environment (IDE) intended for learning digital designing with programmable logic devices using Hardware Description Languages (HDL) through simulation. It is an open-source application created at the Miguel Hernández University (UMH). The aim for the UMHDL development was to have a graphical application that allows learning the VHDL language without licensing restrictions (using some existing open-source tools) and requiring few resources. So,...

This is a lab based software for online compilation of programs. Currently only supports java compilation. This removes the requirement of installing compilers on every system in a lab based environment. Stores the files from the network on the server itself. Prevents loss of data, makes functioning within a lab more efficient, and reduces cost in terms of both time and cash.

This is a compiler for the 'pseudocode' Haggis used by the Scottish Qualifications Authority for specifying pseudo code. The compiler is implemented in Java.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Verto is a compiler that uses a top-down recursive descent parser implemented in Java for educational purposes. It translates Verto language (a subset of the C language) into Caesar machine language. Verto is the Latin word for interpret.

Jasmin is a Java Assembler. It takes ASCII descriptions for Java classes, written in a simple assembler-like syntax. It converts them into binary Java .class class files suitable for loading into a Java Virtual Machine implementation.

Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.

JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.

RunCC is a new kind of parsergenerator that generates parsers and lexers at runtime. Source generation is only optional. It features the absence of any cryptography. Although intended for small languages, it comes with Java and XML example parsers.

ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser

The grinj is a complete suite with compiler, VM and IDE for the language "grinj". it can be used as-is or as basis for your own compiler-VM-IDE-suite.

This project aims to implement an LC2/LC3 assembler and simulator for the Linux and Windows platforms.

Netflow analyzing tools : JXColl - collector for Netflow (or XML specified) data Analyzer - front-end application for providing an user interface and output (graphs, statistics, etc.)

Java decompilation tools from 'Decompiling Java' book published by Apress.

RCXJavaC A Java like compiler for the Lego Mindstorms Robotics kit.

The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.

A java based Assembler and Emulator for the MIPS instruction set.

Course Compiler Design I at the ETH Zuerich (Switzerland). The course program is to write a simple compiler for educational language J01 (similar to Java, with restrictions) for a target platform (either DLX, SPARC or x86).

Este é um projeto acadêmico, desenvolvido pelos alunos da Univali do campus de São José, estudantes da Linguagens formais e autômatos. O objetivo deste trabalho é desenvolver um projeto de compiladores.

ExStudio is a set of development tools for the "Ex" virtual machine. It includes the vm itself, a compiler, an assembler and a debugger.