Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
repasa is a set of three kind of tools: For creation of contents directly in the XML format of repasa or in other file formats (DocBook and LaTeX) following some conventions, for checking the contents, and for studying the contents and registering progress. The contents can be specified with definitions, classifications for the definitions (possibly along with exercises), and sequences of study. It is especially well suited to organize information according to the current legislation for education in schools of Colombia.
The debug memory allocation or dmalloc library is a drop-in replacement for the system's native memory management routines. It provides powerful debugging facilities which are configurable at runtime. These facilities include such things as memory-leak tracking, fence-post write detection, file/line number reporting, and general logging of statistics. The library has been run successfully on a wide variety of operating systems. It also provides support for the debugging of threaded programs.
Multixterm creates multiple xterms that can be driven together or separately. It can be used to login via SSH to multiple hosts and control them simultaneously, or for ad hoc things where you want to see the results as you type. Each xterm may also be driven separately. Multixterm is scriptable so that you can easily fire up, for example, a dozen xterms with a single command, tiled nicely on your screen. In addition to SSH, multixterm can drive rlogin, telnet, passwd, or any program that runs in an xterm.
mutest is a micro unit testing framework for C (with some C++ support). It is easy to use and has no dependencies. The idea is simple: a source file is a test suite, and a function is a test case (special functions can be used for test suite initialization and termination) that can can have several checks. Checks comes in 2 flavors: one that only prints an error, and one that terminates the current test case too. A (normally) automated test program run all the test suites and prints some stats. It fails (returns non-zero) if any test suite fails.