Search Results for "custom-eclipse"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io

The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE

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.

"xmlsh" is derived from the design and goals the unix shell and core commands but with XML expressions and documents added as core features to the shell. xmlsh can be used as a drop-in replacement for scripting xml transformations instead of sh.

Concise and fast Java library for object transformations: * Object mapper between classes, using annotations * Type converter for any class (or Type, even Generics) Supporting dynamic languages as OGNL or Groovy for custom expressions Maven dependency: <dependency> <groupId>net.sf.kfgodel</groupId> <artifactId>bean2bean</artifactId> <version>1.1.2</version> </dependency> Don't forget to add custom repository: <repository> <id>tenpines_repo</id> <name>Repositorio 10pines</name> <url>http://services.10pines.com:8081/artifactory/repo</url> </repository>

The project was originally created to run programs from a MicroSD card on an ATmega16 (without reprogramming it). SBI is a generic library (platform indipendent) that lets you run programs from a stream (es. File). The programs are a sort of bytecode, and they are interpretated at the moment. So you don't have the better speed, but for now this is the only way to run programs from RAM (or SD) on Harvard architectures.

jAMOS is a cross platform, Java-based reimplementation of François Lionet's AMOS BASIC on the Amiga.

Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.

jAMAL is a Java-based reimplementation of the AMOS Animation Language (AMAL).

...It can be used for specifying new formal language and the way how code written in such language is resolved. It allows defining syntax like libraries and combining and embedding custom syntaxes.

jNetStream is a sniffer and a protocol analyzer. Includes applications and library. 100s of protocols are defined. Includes scripting. It is appropriate for custom protocol development, grad students, and network teachers/professors. Full SDK included.

A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse

CISPGE Código de Instrucción Simbólica para uso GEneral - Es un interprete de lenguaje tipo Basic pero en castellano, el objetivo del mismo es didáctico, permitiendo dar los primeros pasos en la construcción de un interprete de lenguaje.

ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org

LOLCode IDE plugin for Eclipse. LOLCode is a new humorous language designed to teach those new to programming, and to be enjoyed by the rest of us. This plugin does syntax highlighting, code folding, debugging and content assistance.

Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.

OpenXL provides a flexible, platform-independent SOA/Web Service middleware and workflow programming language (SLL). OpenXL supports the creation, provisioning and execution of Web Services as well as the integration of code written in BPEL, Java, etc.

TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE

Web Services Console is an Eclipse plugin that provides the user with a rich set of tools for developing and monitoring web services.

This project delievers the internal plugin support of the JavaCheck for the specification to the Eclipse Platfrom, for instance, Personal Java 1.1.8

A general purpose middleware bridging various types of contents. From databases to XML files and vice versa. A EAI tool that can be used in a custom way in any type of aplication