Search Results for "project java"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.

Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!

...The project is released under the zlib/libpng license. It has been in development for over 10 years and offers some powerful features. Extensive information, documentation, articles and code examples can be found at the developer blog.

The goal of the project is to create specifications and provide reference parser in Java and C# for Extensible Term Language.

The Jcptbr is a framework for object-relational mapping written in the Java language. This framework addresses the problem of incompatibility between object and relational models, without the necessity of using xml for the mapping.

**NOTE**: The WALA project is now hosted at https://github.com/wala/WALA; the latest source code and updates are available there. The code here on Sourceforge is highly out of date and unsupported. The T. J. Watson Libraries for Analysis (WALA) provide program analysis capabilities for Java bytecode and related languages. The WALA libraries constitute an open-source release of parts of IBM Research's DOMO analysis infrastructure.

The Open Fortran Project (OFP) provides a Fortran 2008 compliant parser and associated tools. These tools provide a Java and C API for actions called when parser rules are completed. It also provides Fortran interfaces to the OpenCL runtime (new). IMPORTANT NOTICE: The Open Fortran Project has switched to using a parser based on SDF (Syntax Definition Formalism).

This project makes the compiler and tools for the Panini language available. A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. 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...

Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each project separately.

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.

Customized version of JavaCC 5.0 to add incremental parsing. Set up as an Eclipse project.

The goal of the Fortran-to-Java project is to provide Java Application Programming Interfaces (APIs) to numerical libraries originally written in Fortran (particularly BLAS and LAPACK). The result of this work, JLAPACK, is distributed here.

This project is derived from the dk.brics.automaton DFA library, version 1.11-8. The most significant change is the addition of a 'info' field to automaton states, allowing them to be associated with a token type. A few automaton operations were modified to preserve the value of this field. I have not given much thought to whether it would even make sense to preserve the 'info' field through some of the other operations. This project also includes an extension of RunAutomaton, called...

several vaguely related projects worked on by me: a 3d engine with a javascript-like scripting language (pdsys); an older scheme dialect (vmsys); ... (2009-04-28: I have been gone for years, may try to put up some newer stuff...).

The alpha version description: A dynamic evaluator of mathematical expression. This project aim to teach and train for compiler and interpretor coding.

Compiler optimization for code that AI generates, reuses similar substrings of code to exponentially reduce the Big-O of compile. At runtime, CodeTree objects breed, rename vars, mutate code and run it instantly. For any realtime compilable language.

Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.

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

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Translate SWF is Java-based compiler for Macromedia's ActionScript language. Translate currently supports Actionscript 1. As of 25/11/2010 this project can now be found at GitHub, https://github.com/StuartMacKay/translate-swf.

Compose* is a project that aims at enhancing the modularization capabilities of component- and object-based programming. In particular, Compose* offers aspect-oriented programming through the composition filters model.

Security is a subject of major concern in mobile agents. This project provides a security framework that allows the protection of mobile agents from third parties. A self-protected approach, where the agents themselves manage the process, is used.

YAJC (Yet Another Java Compiler) is a compiler for the Java programming language to Java bytecode. It started as a university project in 2009.

Pes is an simple programing language. It has just few basic constructions and it has c-like & pascal-like syntax. The compiler output is Jasmin - an assembler for java virtual machine. It was my school project.

JavaTraits preprocessor. This project is an implementation of a preprocessor for traits in Java.