Search Results for "b-tree"

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.

AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins. AstroNvim is provided as a plugin that can be installed with the lazy.nvim plugin manager and then used to import all of the plugin configurations that AstroNvim provides. To quickly get started it is recommended to start with the official AstroNvim Template which provides a great starting point for a new AstroNvim based configuration. We found other Neovim configurations...

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

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

Eclipse Version Tree Plugin is an easy to use, graphical version tree for project artifacts hosted in a CVS repository. It is a graphical replacment for Eclipse resource history. Supports different layout styles, customization and convenience features. The development is being continued on GitHub https://github.com/angvoz/net.sf.versiontree

A small java application which helps CMake users who want to efficiently organize their source tree with the help of Visual Studio's project editor and CMake's "source_group" command.

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

ReXeD is an Eclipse plug-in for editing XML. Planned features include syntax highliting, code hints/completition accordind to schema (DTD, Relax NG, SchemaTron), XML tree editor and matching XML to XMLSchema. More functions will be added soon.

JEditPlus is a swing based Brand New Java IDE. It adopted a lot of ideas from editplus. The features include: Sharp Looking, Nice Syntax Lighting, Excellent global view and Fantasic class tree, Easy programming and Great plug-in system.

Eclipse plugin: configurable decorator for icons and labels. Can be adjusted to decorate icons and text depending on (regexp) substring matching on certain nodes in tree views (Package Explorer, Navigator,...). Works with Eclipse 2.1 or later.

kebap is the long-awaited Perl IDE. It currently uses nedit as text- and macro-engine and ships with a wx GUI. It consists of a tree-view based file-manager for the code repositories of a project. A plug-in API allows extending kebap in perl.

ProjectBrowser is a jEdit plug-in which allows the developer to manage multiple projects in jEdit. It uses a columnar browser to display a project's files instead of a tree or a single list.

Eclipse's Favorite Plugin. Add a Favorite view to your eclipse. It Give you the ability to store resources in favorite tree like structure, just like you do in your internet browser. Just Drag Resources from your project explorer to the Favorite View.

exForge is an Eclipse plugin that allows to edit XML document graphically. Main features are : - Multi view GUI : Tree View and source view - Graphical assistance for editing and modifying. - Graphically assisted validation against DTD

The purpose of this project is to improve an existing editor that I created. Features existing in the editor: - Easy inserting of XML tags by selecting a current tag from the left tree and the select that should be situated betweens tags - Colors