Search Results for "cup-lex-eclipse"
Sort By:
23 projects for "cup-lex-eclipse" with 2 filters applied:
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
1
Community Z Tools
Tool support for the Z formal notation
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 -
2
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
-
3
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
-
4
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.
-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
Kayacc
A Compiler Development Toolkit
...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 -
6
jAMOS
AMOS BASIC reimplementation in Java
jAMOS is a cross platform, Java-based reimplementation of François Lionet's AMOS BASIC on the Amiga. -
7
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.
-
8
jAMAL is a Java-based reimplementation of the AMOS Animation Language (AMAL).
-
9
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.
-
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
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.
-
11
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
-
12
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
-
13
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.
-
14
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.
-
15
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.
-
16
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).
-
17
TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE
-
18
A parsing toolkit that supports both top-down (LL(1) and Simple Precedence) and bottom-up parsing (LR(0), SLR(1), LR(1) and LALR(1)). The toolkit supports generating Java parsers for all the bottom-up parsing methods, based on a CUP definition.
-
19
Web Services Console is an Eclipse plugin that provides the user with a rich set of tools for developing and monitoring web services.
-
20
SCORM-aicc_script-Interpreter is an interpreter for evaluting prerequisite expressions used by the ADLNet.org SCORM 1.2 standard. The interpreter bases on Java using JFlex/Cup.
-
21
This project delievers the internal plugin support of the JavaCheck for the specification to the Eclipse Platfrom, for instance, Personal Java 1.1.8
-
22
The Dirt virtual machine is designed to be easily used as a scripting engine or runtime core in C or C++ projects. The language itself is very similar to C. The tools have been created from scratch (no lex/bison/yacc) and are very portable
-
23
The Cup Programming Language is a combination compiler and VM (Virtual Machine). The language is purely procedural, though allows 'top-level' code like a scripting language.
- Previous
- You're on page 1
- Next
