Search Results for "x11-basic"

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...

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 is going to be a Java Swing Application that will be used as a quick reference for Java API names. It will feature incremental search and filtering so that searching efficiency is improved. It will be very simple and a good way to statistically analyze java api's.

A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

CxxTest is a unit testing framework for C++ that is similar in spirit to JUnit, CppUnit, and xUnit. CxxTest is easy to use because it does not require precompiling a CxxTest testing library, it employs no advanced features of C++ (e.g. RTTI) and it supports a very flexible form of test discovery.

This is an attempt to write a CPU emulator in Trolltech QT 4.4. Basic Functionality: - 8 bit registers - Self-composed instructoin set (in progress) - Data and Assembler Editor / parser (not started) - Text and graphical input / output (not started

Follow is a simple Java application which allows a user to monitor several log files concurrently. The source for this project is now being maintained at http://hallwaytech.github.com/follow

rngcc is "really nice GNU C compiler" it's the GUI for the standard GCC on Unix systems rngcc is fully written in c

NEmu is an emulator/simulator for exploring computer architecture. It provides a virtual machine, a debugger, and simulations of various cpus and hardware. NEmu is built on top of ALib, my own application framework.

Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker

The goal of this project is to develop the OS-independent, obtrusive, customizable, extensible, generic logging and tracing software mechanism.

An IDE for java source files. Support syntax highlighting, debugging and proejct mangement.

jDiSeq is a recording facility for call sequences within any Java Virtual Machine. Typical usage is to generate UML (Unified Modeling Language) sequence diagrams of a running system - client or serverside.

Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.

PlugProxy version is a port forwarder/port debugger written in Java. PlugProxy is used to forward data from one TCP port to another. This is commonly referred to as "port forwarding." The purpose of this is to invisibly send a request from one site

Introspect on running programme, view and alter object fields and methods. Edit the code of any method at runtime; apply the changes to any combination of objects, such as an array, or a complete class. Complete rewrite underway available Jan 2007.

A bug profiling and -reporting program/lib written in java. It enables implementing (java-)programs to generate meaningful reports in case of an error. They can be submitted (automaticly/dialog) by mail (text, html, bugzilla ..) without external programs

An official experimental fork of Python's integrated development environment IDLE. Worthwhile and successful changes and additions will go back into the Python distribution's IDLE at some later stage. There is no spanish inquisition.

This project aims to create a generic client and debugger for XML-RPC services. The client will be written in Java and Java Foundation Classes.

GLfunge98 - OpenGL-based *NIX/Win32-interpreter for Befunge93/Funge98 with dynamic extensions.

Le projet Atlantis est une collection de composants et de bibliothèques pour Lazarus. The Atlantis project is a collection of components and libraries for Lazarus.