ECLiPSe Constraint Logic Programming System
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.
linux syscall tracer
strace is a diagnostic, debugging and instructional userspace tracer for Linux. It is used to monitor and tamper with interactions between userspace processes and the Linux kernel, which include system calls, signal deliveries, and changes of process state. The operation of strace is made possible by the kernel feature known as ptrace.
The Open On-Chip Debugger
The "Open On-Chip Debugger" provides JTAG/SWD access from GDB (or directly with TCL scripts) to processors with ARM and MIPS based cores. See website for full list of supported targets.
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
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.
Python framework to access Linux dumps programmatically from 'crash' and tools written using it
object orientated scripting language
ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String. Collections like List, Map, etc. can be used with object and value types and can also be used as raw types (i.e. List == List<Object>).
Simple solution for testing and documenting short code snippets.
New in version 2.0: CodeMirror functionality (line numbers, code and error highlighting, indenting, bracket closure) has been incorporated. Much smoother experience due to ajax. Tired of opening an editor to test short code snippets for functionality, saving the file and then running it in a browser? PH_Playground provides a simple solution on a single browser page. Enter the code to be tested into the "Code" window and press "Run". The result will appear as HTML Output or Raw HTML. In the background the code has been saved to a log file. Works on any machine running PHP. For debugging purposes it is recommended to have the Display Errors directive in php.ini set to "On", and the errors will immediately appear - highlighted - in the output window. Log files are found in the PH_Playground.log directory, sorted by year and month. A new log file is started every day and numbered accordingly. Warning! Do not use this program on a production site!
DiDasm is a small and fast disassembler, useful for Windows kernel developers. Advantages: - highly portable, has minimal runtime requirements (C runtime); - core libraries do not require any external components; - includes instructions emulator (diana_processor); - has stream oriented design; Supported platforms: i386, amd64 Supported instructions: x586/amd64/FPU/MMX/SSE/SSE2
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.
A tool that inserts code into Java class files for logging
A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging.
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
gpsim is an open sourced simulator for Microchip's PIC microcontrollers. It supports all three families of PICs: 12-bit, 14-bit, and 16-bit cores. See also gputils http://gputils.sourceforge.net/
Rapid applications development tool and libraries for FPC
The Lazarus IDE is a stable and feature rich visual programming environment for the FreePascal Compiler. It supports the creation of self-standing graphical and console applications and runs on Linux, FreeBSD, MacOSX and Windows.
A graphical user interface to gdb, the GNU debugger - running under KDE
The NT POSIX C Runtime Library is an IEEE standard runtime library for the NT POSIX subsystem. It can be used as a complete replacement or a side by side alternative for what is shipped with the Interix SDK.
FreePascal based debugger and freepascal debugger lib. An alternative for C-based gdb.
Debugging and programming interfaces for Freescale microcontroller
USBDM BDM Interface for Freescale Microcontrollers USBDM consists of two components: Hardware interfaces for various target devices This includes interfaces ranging from very simple hardware to more complete and capable hardware. Software to support these interfaces This includes: Plugins to work with Freescale's Codewarrior software under Windows Plugins to extend the usabilty of Eclipse with USBDM and Codesourcery & ARM toolchains. This includes GDB sprites providing a complete open source development toolchain. A set of stand-alone programmer applications. These support programming of RS08, HCS08, HCS12, Coldfire and Kinetis devices. Where applicable, the software is available for Windows and Linux. Keywords: BDM, OpenSDA, Peripheral Register View, Freescale, Debugger, Programmer, ARM Cortex-M, USBDM, OSBDM, TBDML, Eclipse plugin, SVD Viewer, Register View, Kinetis, Coldfire,HCS08,HCS12,GDB,Kinetis Design Studio, Eclipse
We have debuggers for bash.
Python package to retrieve and manage data of the IMDb
IMDbPY 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.
Linux source-level kernel debugger
Linice is a source-level kernel debugger for x86 systems with the look and feel of SoftIce for MS Windows. Break into a running kernel, use breakpoints, single step on modules, kernel, or user programs. Outputs to VGA, MDA, X Window, serial terminal. ------------ Yes, this is ancient and don't expect it to work any more.
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).
BSD licensed ELF toolchain
A BSD-licensed implementation of compilation tools (nm, ar, as, ld, etc.) for the ELF object format.
Homebrew toolchains for wii, gamecube, 3ds, ds, gba, gp32 and psp
This project is for homebrew console development tools based on the gnu compiler collection with additional tools and libraries to aid programming each supported console. The windows variants are built with MinGW.
A header-only C++ library for accessing files in ELF binary format
ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format