Search Results for "http"

This is your personal local TON blockchain (ton.org) in a shape of cross-platform desktop application. It comes in a form of uber-jar with all dependencies and binaries.

...It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime problems. For more, also historical information please visit (http://www.pearl90.de/). In 1998 PEARL-90 was standardized by the Deutsches Institut für Normung e.V. in DIN 66253-2. PEARL provides the standard data types and structures known from other procedural languages like e.g. PASCAL. Additionally PEARL brings special language constructs for managing real-time and multitasking tasks.

...Eclipse project provided to get started. Three visitor classes provided to learn how to use JavacTo and write visitor classes. Vistor javadocs available at: http://docs.oracle.com/javase/8/docs/jdk/api/javac/tree/index.html

HATE's an ASN.1 Text Editor written in Java. It is designed to be easy to use, highly customizable and flexible.

...A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of common concurrency hazards. Panini is simple and efficient. We invite you to try it out. Downloads are available from http://paninij.org/download/

...While the SDF parser is not as advanced as the ANTLR-based parser, it provides much more capabilities, including a term rewriting system for creating a Fortran AST (Abstract Syntax Tree) using Stratego/XT (see http://strategoxt.org) and other custom program transformations. The OFP ANTLR-based parser is no longer under active development.

...It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead.

The Open RVC-CAL Compiler (Orcc) is a compiler under BSD license for the RVC-CAL dataflow programming language. Please consult the project homepage at http://orcc.sourceforge.net for more information.

...It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt

This project has moved to http://github/mlhartme/mork.

The Whiteoak programming language, http://whiteoak.sourceforge.net, is a Java 6 extension that supports: structural subtyping (structural conformance), virtual fields and constructors, mixin-like/trait-like composition of objects and more.

Jabaco is a simple Visual Basic like programming language for the Java Virtual Machine. A comfortable development environment will support you in your tasks. Visit the Webcast and see Jabaco in action: http://www.jabaco.org/webcast.html

The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

Clojure is a dynamic programming language for the JVM. Note - current Clojure development has moved to Google code: http://code.google.com/p/clojure/ Project web site: http://clojure.org

Evaluates XPath 1.0 expressions over W3C XML Schema definitions to get a compile-time prediction of nodes that will be matched at run-time. Project homepage: http://xpath-on-schema.sourceforge.net/

A wrapper over the fcsh (Flex Compiler Shell) that expose the fcsh.exe to be accessed from an ant task. You can send mxmlc commands from ant tasks to a wrapped fcsh instance. Informations about project are on http://fcshwrapper.blogspot.com/

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

SmartPas est un IDE/Compilateur libre d'un langage proche d'un sous ensemble du langage Pascal. Il n'est pas un outil de production pour les développeurs mais c'est un compilateur de test et de suivi... Site officiel : http://smartpas.net.ms/

Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.

BeanClipse is a NetBeans plugin for Eclipse: NetBeans runs embedded within the Eclipse platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/netclipse

OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org

Chai-T is a prototype implementation of a compiler for a language based on Java and including Traits (http://www.iam.unibe.ch/~scg/Research/Traits/), which are a new program structuring unit designed to maximise flexibility in code reuse

antlraux is a java package thought to be used in combination with antlr(http://www.antlr.org). Features contextual information management, command line parsing and lexical information treatment.