Search Results for "type"

Atom is a text editor that's modern, approachable and full-featured. It's also easily customizable- you can customize it to do anything and be able to use it productively without ever touching a config file. Atom is free to download and runs on Linux, OS X and Windows with support for plug-ins written in Node.js and embedded Git Control. It is based on Electron (formerly known as Atom Shell),a framework for building cross-platform apps using Chromium and Node.js.

The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.

Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

...Unlike traditional text editors that treat code as plain text, MPS represents programs as structured models, enabling projectional editing where syntax, constraints, and semantics of DSLs are enforced by the editor itself, reducing parsing ambiguities and expanding expressiveness. Users can build custom languages tailored to specific problem domains and immediately get IDE benefits like intelligent completion, navigation, refactoring, type checking, and code generation for those languages. MPS also supports seamless integration between DSLs and general-purpose languages, allowing mixed projects where different parts are expressed in the most appropriate notation.

XTypeS is a DSL for writing type systems for languages implemented in Xtext.

ECB is a file/code browser for Emacs. It can be used to browse any type of file and supports parsing of Java, C, C++, Elisp and some other code like perl, TeX, LaTeX. All browsing windows are within one frame and they are deletion-protected (eg by C-x 1)

Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

Kazam is a visual editor and project manager for interactive fiction game creation with Inform, one of the major development tools for this type of games. Kazam is developed with the wxWindows cross-platform GUI package.

SourceForge for collaborative writing projects. A project management system written in PHP designed to aid group work on Creative Commons type written projects.

Dreamweaver extension for Movable Type (http://www.movabletype.org/)

JHTML is a Java based HTML Editor that is being developed to eventually support features such as: Intell*sense type autocompletion with tags and their possible parameters, syntax highlighting, right click tag editing, wizards, and many more helpful featur