Search Results for "work"

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. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

...JPPM will help you to build and run jphp applications or write new packages. JPHP is a new implementation for PHP which uses the Java VM. It supports many features of the PHP language (7.1+). How does it work? JPHP is a compiler like javac, it compiles PHP sources to JVM bytecode and then can execute the result on the Java VM. We develop a new IDE for beginners like Game Maker or Scirra Construct. It's based on JPHP, JavaFX, Java 8, and Gradle, and allows to creation of desktop games and apps for Linux, Windows, and Mac (maybe Android and other platforms in the future). ...

JCppEdit is a free as well as "best IDE for Beginners" and is your one-stop IDE for all your coding needs. Whether you need to finish your Java project or submit your first HTML web page or perhaps have a need to code in C language while executing a java program into a Java IDE, JCppEdit will help you achieve your goals easily. Exploring your project and detecting an error in your code is much easier. You will not waste time detecting errors before compiling codes because you will get a...

Grammar based parsing in Java 8 to a tree structure. Create with no overhead a grammar in java and parse it into a tree structure. Will probably work right away with your grammar.

...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). Please consider using our new work at https://github.com/OpenFortranProject/ofp-sdf. 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.

An android client of CodePad.org & ideone.com CodePad.org is an oneline free multi-language compiler for developers. ideone provide non-free services for the same work. ideone is much more powerful Now the tool support C,C++,Java (for ideone), Bash (for ideone), R (for ideone), Python, Ruby, Perl, PHP

...Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange. Resource Description Framework (RDF) is the W3C recommended standard for data representation. Being able to work with these two languages using a common framework is a great advantage and eliminates several unnecessary steps that are currently used when handling both formats.

With ShortcutJava you can write Java code with shortcuts such as multiple-exception catches and aliases. You can also create new shortcut plugins. It has an Ant task for compiling with Ant. The shortcuts will work with ANY version of Java!

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)

Smith is an open source, cross-platform ColdFusion® engine, written entirely in Java. Running on top of Java Runtime Environment and Java Servlet Container, it can be deployed virtually on any operating system and work with any web server.

This is a set of tools to work with Java classes. It resembles certain Unix commands that work with ELF -- like ldd, nm, dump etc. and provide class disassembly capability.

LucidEngine is a simple layer over MIDP compatible phones that will let you write simple and old fashioned games using a specific language. Every game you'll develop will basically work on all the devices (even not phones) LucidEngine as been ported.

M is a capability-based language in the Java framework for distributed, secure, persistent, extensible virtual worlds. The project also supports JCC, a Java-based hybrid constraint programming language. This project is also being used for work on TCC and its extensions.