Search Results for "program" - Page 33

Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.

MMP is a program/framework designed to process motion data delivered by - for example - a wiimote. The design is modular, so you can adapt it to your own needs.

...This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.

RapidGDB is a scriptable GUI for the GDB debugger. Almost every aspect of the program can be extended using Python code snippets.

Application to automatically merge gedcom files. It provides either a user or another program the ability to merge gedcom files with as little human interaction as possible and with high quality of matching results.

Gravity IDE is an IDE made and developed for Java/Java programmers. It's completely written from scratch and includes many features to ease Java program development.

LogTracker is a Java program intended to track log files. The user can set the path for the file and LogTracker will constantly display the contents of a file as more log entries are added. The user will have the ability to stop updates or pause them.

s2html is a very simple C/C++/Java/Lisp HTML source code converter. It uses embedded CSS to format your code. Many other formatters exist, this one started its life back in 1983 as my very first C program.

A chatbot framework currently implementing the ErkiTalk and irc protocol. By specifying parsers for the server's input one can easily create custom bots (if one can program in java of course ;).

gcov-eclipse is an Eclipse plug-in that will extend CDT to provide code-coverage testing to C/C++ projects by using the gcov program. It will integrate into the CDT's launch and managed build system.

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .

Utility to fix common misspellings, typos in source codes. There are lots of typical misspellings in program codes. Typically they are more eye-catching in the living code but they can easily hide in comments, examples, samples, notes and documentations. With this utility you can fix a large number of them very quickly. Be aware that the utility does not check or fix file names. It can easily happen that a misspelled word is fixed in a file name in a program's code, but the file itself will not be renamed by this utility. ...

This utility is created with the aim of accelerating development of Linux PSF2 (framebuffer) fonts. It does not work with X fonts. The program can "explode" existing PSF2 fonts, creating an human-readable graphical representation of each glyph which can then be re-compiled into a PSF2 font. The project supports the use of unicode tables at the end of fonts, but currently (Dec, 2012) not fully (sequences are not supported), but this should be simple to amend.

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

...Its written in C++ and uses SDL and the Qt framework. QJoystickManager strives to be as easy to use as possible, it implements many features that will ease the interaction between your program and the attached joysticks. This project uses Qt extensively, and as such users need to a have working knowledge of C++ and Qt basics (Signals and Slots and Qt data types).

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. ...

PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.

The Open Log Engine is a powerful tool for advanced logging in games or programs. It easily allows you to make logging outputs in your program and analyse them afterwards with the Open Log Viewer, which provides you a powerful filtering system.

...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...