Search Results for "gnu science"

Lazarus is a free and open source development tool for the Free Pascal Compiler. The purpose of this project is to serve as a Code Repository, Wiki Knowledgebase and support site for converting existing components and libraries to work with Lazarus and the Free Pascal Compiler.

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

wxHexEditor is another Hex Editor, build because of there is no good hex editor for Linux system, specially for big files. It supports files up to 2^64 bytes. Written with C++/wxWidgets GUI libs and can be used with other OS'es such Windows, Mac OS

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...

Jlint will check your Java code and find bugs, inconsistencies and synchronization problems by doing data flow analysis on the code and building the lock graph. Jlint is fast, easy to learn, and requires no changes in the class files to be checked.

gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. By using gcRadar you can monitor the lifetime of the objects that are created by your application in runtime,...

Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org

Easy-to-use fault injection tool for testing robustness of software to faults that originate in shared libraries and the layers below. LFI minimizes human effort involved in testing and does not require access to the target program's source code.

Winpdb is a platform independent GPL Python debugger with support for multiple threads, namespace modification, embedded debugging, encrypted communication and is up to 20 times faster than pdb.

ClasspathHelper provides eclipse plugins that determine classpath/classloading related dependencies such as unresolved references, blocked/obscured clases as well as unreferenced classes/jars. ClasspathHelper can model most classloading scenarios.

The p1451-1 project is a communication protocol dissector plugin for WireShark (formerly Ethereal). This plugin is limited to dissection of IEEE 1451.1 on-the-wire messages. It currently supports header parsing of basic 1451.1 packets and argument arrays

JDLabAgent is a dynamic link library which is loaded into the Java Virtual Machine via Java Virtual Machine Debug Interface (JVMDI). The JDLabAgent can be parameterized via config files and logs JVM events (e.g. breakpoints, exceptions).

JDLabStudio is a graphical front-end for the Java Debugging Lab Agent (JDLabAgent). JDLabStudio scans java packages, displays class files and generates JDLabAgent config files. JDLabAgent-traces are used for reconstructing control and data flows.

CDK4AVR stands for Cross Development Kit for Atmels AVR RISC processor serie and should you support with a comprehensive Assembler and C development environment for even this processor familie under Linux or similar host systems.

A Declarative Debugger for Java

CDK4NIOS stands for Cross Development Kit for Altera's soft core processor NIOS and should you support with a comprehensive Assembler and C/C++ development environment under Linux. It will present only free of fee tools, so you can use it without risks.

Semi-Automated Debugger for TinyOS Network Applications

JavaCET is an API wrote in Java that allows to analyze Java source code and libraries, and control its execution and its trace in an integrated and comprehensible object-oriented way. It allows backwards execution.

File-Spector is a small, fast and easy to use binary file analyzer and Inspector. It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.

JTAGER is a simple embedded system debugger running under linux host, which can make us execute some simple debug operations to our target board by the JTAG emulators, such as programming the flash memory. We also have full project documentations.

Software Graphical 8051 Emulator, based on Allegro.

Language used: c++ Libraries used: fltk OS: Linux Problem Description: Jtag management software for CPLD and jtag aware chips Major features: X11 UI, c++ platform for jtag apps Data formats: jtag, bsdl, binary Derived from existing project "jtag"

gSim51 is a powerful, efficient and cool simulator for 8051 code. Its has a text based interface and very efficient commands keeping in line with the unix tradition of short and concise commands that do one thing well. gSim51 has no code or data space lim

The original intent was to make a pretty simple "connect and send" http client, it has since grown to include as much http 1.0 client capabilitlies (as defined in RFC 1945) as possible.

The BOOP Toolkit uses abstraction and refinement to determine the reachability of program points in a C program.