Search Results for "system information"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

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.

Cinemagoer is a Python package useful to retrieve and manage the data of the IMDb movie database about movies, people, characters and companies. Platform-independent, it can retrieve data from both the IMDb's web server and a local copy of the whole db.

IrcAppender is an appender for the Apache log4j system which forwards important logging event to an IRC channel. Output is controlled by the log4j configuration.

Portable emulator for Pokémon-Mini. Last version: 0.60 (16 June 2015) Check Wiki for platform dependencies and other information.

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.

Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,...

This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.

This tool provides the same interface as a SiteErrorLog but provides the ability to specify who should receive error emails, what error emails are sent, and extra information to put in the headers of the error emails to provide easier mail filtering.

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

NetTool is a developer tool for monitoring and manipulating application-level network messages, particularly useful for debugging web applications and web services. There are two components to NetTool: the HTTP Client, and the TCP Tunnel.

Language Prototyping System

Memory Supervision System (MSS) is a handy tool for debugging dynamic memory bugs and logging memory usage information.

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 XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

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.

BT-Sim is a BlueTooth simulator on a HCI level. The project alows to develop and test BT applications without using real BT hardware. It works in particular with PalmSource's Palm OS Simulator.

Enables a user to view & alter all aspects of comunications with a web site via a proxy. Primarily used for security based penetration testing of web sites, it can also be used for debugging during development. Seen as part of a hacker toolkit.

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

An eclipse plugin providing tail in view component.

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.

Zinc allows PHP developers to better debug and optimise their applications by providing detailed information on the execution path of the code in their scripts.

JCola is a file tailing application written in Java Swing. This multithreaded application can tail an unlimited amount of logfiles concurrently and simulates "tail -f" with much more functionality.

A facility to keep a history of context information during runtime and then dumping it in a separate file when a problem occurs (similar to core dump).