Search Results for "winpython32-3.8.x"

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.

mspgcc4 is no longer supported. Please use the newer toolchain at the MSPGCC project. (This was a port of the GCC 4.x branch to the Texas Instruments MSP430 microcontroller core. It is based on the MSPGCC project that is stuck with GCC 3.2.3.)

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

Log any javascript or php variables and it's back stack into file like php function debug_backtrace done. View the variables value and it's back stack info in web browser, and browser will synchronize with the log file using ajax.

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.

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

SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.

Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.

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

JLinkCheck is an Ant Task written in Java for checking links in websites. It is not just checking one single page, but crawling a whole site like a spider, generating a report in XML and (X)HTML. JReptator will be its succesor with many more features

To develop a plug-in for eclipse (eclipse.org) allowing for seamless Eiffel Development using the SmartEiffel (smarteiffel.loria.fr) compiler and the ELJ (elj.com) tools.

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

The beSee-2-x architecture brings JVM wide instrumentation for AOP systems, independant from bytecode kit (BCEL, Javassist). A plugin is provided to instrument BEA WebLogic (v7) for tracing purpose (servlet->EJB->CMP->DB), with full JMX capabilities.