Search Results for "b-link"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

...It contains a minimum of settings for easy and convenient programming. The hardware debugging process is possible if you have the hardware and / or software for this purpose. (For example, the J-Link debugger is sufficient for debugging on an ARM processor) An example of a project of a console utility created in this programming environment here: https://intel-hex-file-processing.sourceforge.io/ Additional information in Russian can be found here https://sites.google.com/view/esrus/

...GoSublime is an IDE-like plugin for Sublime Text 3 mainly, but not limited to, providing integration for most of your Go/Golang development tools. Code completion from Gocode (fork). Context aware snippets via the code-completion popup. Sublime build system(ctrl+b) integrating with GoSublime 9o command prompt with live command output. lint/syntax check as you type or on save. Quickly jump to any linter error reported in any open file or package. Quickly fmt your source or automatically on save to conform with your coding standards. Easily create a new go file and run it without needing to save it first (9o replay), share your snippets (anything in the loaded file) on play.golang.org. ...

...Compared to GraphiQL, the GraphQL Playground ships with a number of features, such as interactive, multi-column schema documentation, automatic schema reloading, support for GraphQL Subscriptions, query history, configuration of HTTP headers, and tabs. You can easily share your Playgrounds with others by clicking on the "Share" button and sharing the generated link. You can think about GraphQL Bin like Pastebin for your GraphQL queries including the context (endpoint, HTTP headers, open tabs etc). GraphQL Playground provides a React component responsible for rendering the UI and Session management.

Vrapper is an eclipse plugin which acts as a wrapper for existing eclipse text editors to provide a Vim-like input scheme for moving around and editing text. Eclipse Update Site: http://vrapper.sourceforge.net/update-site/stable

...It includes various bus infrastructure templates and also provides Linux device driver code completion, code assistance & code navigation for developers. Download - LinK+ IDE for 32 & 64-bit architecture : https://sourceforge.net/projects/linkplustest/files/installers/ LinK+ Update Site (compatible with Eclipse IDE v3.6.x ): http://sourceforge.net/projects/linkplustest/files/repository/ User Manual: http://sourceforge.net/projects/linkplustest/files/documentation/LinK%2B_UserManual_Rev4.pdf

This project is an eclipse plug-in aiming to link the eclipse UML2 tools to the eclipse JDT. The leading idea is to use the UML editors as code editors. With a reverse engineering functionality, avoiding a generation process allows to use easily UML

ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog

SCREEM is a GNOME website / tag based html editor (ie not WYSIWYG) which aims not only to aid in creating web pages, but also to provide useful site maintainance facilities as well, including automatic link updating, and site upload facilities.

Simple C IDE for Linux/Unix Systems Allow your to Develop,Compile,link (to libraries),Fix Errors & Warnings and Run ANY C code simply by opening it in the IDE It doesn't create any additional files for your project

GEDIT TODO IS NOW A PART OF GMATE: PLEASE REFER TO http://blog.siverti.com.br/gmate to get updated information the source code on sourceforge will not be continued and a new codebase is in the way at github, for more info follow the above link. please DO

Collection of plugins for Eclipse 2.1 (www.eclipse.org). Web-Application Development Environment (XML/HTML/CSS/JSP).

A WYSIWYG GUI-based HTML editor with real-time tag parsing and properties editor, as well as site management with link validation and updating. Similar to a well known editor from Macromedia.