Search Results for "cup-lex-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 PHP script engine for Java. --- Run PHP applications within any J2EE server or servlet engine and/or connect script engines like PHP with Java or .NET back ends efficiently.

MANTIS is a hybrid high level programming language and tools optimized to crank out "line of business" applications. It allows focus on business data and process instead of technology. However, access to low level technologies are available if desired.

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

N.B. THE PROJECT HAS BEEN MOVED TO GITHUB https://github.com/jiprolog/ JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way. JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates, JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java...

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.

...As any major interpreted language, you can easily create bindings of your C library functions to Frost. Its interpreter is written in C, and it only uses libC and POSIX system calls (Lex and Yacc are not required). You can easily compile it on Linux or OS X using the included Makefile.

...The class library supports symbol tables, Unicode text manipulation, reserved word mappings, and translating between Unicode and byte oriented encodings. Tombo is an alternative for lex, yacc and Bison tools. Source can be browsed in git/code repository or src directory. Send e-mail to tombo@gekkoware.com for support

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

Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

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.

Generate parsers with ease, using a graphical user interface, or console. Design your parsers graphically or by using standard regular expressions and BNF syntax similar to lex/yacc. Generated parsers can be in C or C++.

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

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.

PLY is a set of bash scripts that provides parsing functionality for macros that generate shell code. It was inspired by lex & yacc UNIX utilities used for compiler construction, and its function is analogous to the role of C preprocessor.

wsbasic a basic interpreter or scripting language implemented without flex/bison or lex/yacc. Object oriented and very maintainable code. Based on jack crenshaw's let's build a compiler. Can act as a replacement for bash or sh scripting.

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.

A small but extensible Java based "embedded lisp"- derives from the 1960 Mc Carthy Lisp a new consequently functional, dynamically scoped dialect enriched by modern features (pattern matching, parallel processing, implicit lex. closures etc).

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