Search Results for "macos linux os"

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

Robust is an Android HotFix solution with high compatibility and high stability. Robust can fix bugs immediately without a reboot. Robust is an Android HotFix solution with high compatibility and high stability. Robust can fix bugs immediately without publishing apk. Support fixing at method level,including static methods. Support add classes and methods. Support ProGuard,including inline methods or changing methods' signature. AutoPatch will generate patch for Robust automatically. You...

GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。

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.

JavaShark is a new way to view/trace/analyze JVM applications. It's like an advanced debugger with Groovy support. And the most important - now you can share your knowledge about any system with people around the world - just share your handlers(breakpoints) bundle. Just imagine - you connect to the remote JVM, attach handlers bundle and now you know much more than any logs could ever give you. It's free and open source under MIT license. All debug power is in your hands now in a handy and cool way.

jclasslib is now located at https://github.com/ingokegel/jclasslib

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.

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.

Visual DB Script is an editor PHP,ASP,HTML(can support other languages) that integrate the functionally of a Database Manager (like Access or MySQL). It supports Scripting Developers with specifical SQL commands and an SQL Query Designer

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

Tho goal of this project is to provide an integrated development environment for developing (x)Harbour applications on various platforms.