Search Results for "python user interface"

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

A RAD GUI Building IDE for wxPython.

VirtuAL3101 provides a series of tools to develop effects using the AL3101 DSP from Alesis. It includes an assembler/disassembler, a simulator, an application generator with its graphical interface and various effects.

XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST

binaryfinary is a binary file format viewer/editor. Profiles are written which describe binary file formats e.g. media files formats, TCP packets, compression formats. Binaryfinary provides an XML-DTD so that these templates can be described in XML.