Search Results for "gnu science"

Vector Pascal is a language targeted at SIMD multi-core instruction-sets such as the AVX and SSE2 or x86-64-v3. It has a SIMD compiler which supports parallel vector operations, loop unrolling, common sub expression removal etc. It is implemented in 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. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...

Important: Groimp migrates to Gitlab. You can find the latest code at "https://gitlab.com/grogra/groimp/". The version on Sourceforge will not be updated anymore. The modelling platform GroIMP is designed as an integrated platform which incorporates modelling, visualisation and interaction. It exhibits several features which makes itself suitable for the field of biological or ALife modelling: The “modelling backbone” consists in the language XL. It is fully integrated, e.g., the...

MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.

JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. 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

FJ-eclipse is an implementation of Featherweight Java in Eclipse using the framework Xtext.

bfrun is a Brainf*ck interpreter (Bf VM). bfrun written in pure Java and Platform - Independent. bfrun is high performance Bf VM with debugging support (works more fast than beef and gbf up to 20 times). Supported 8 ,16 and 32 bit memory.

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.

mjcide was developed as a final project for Compiler class at UFABC (Universidade Federal do ABC). The project has two components: a microjava compiler (MIT license) and an IDE (LGPL 2.1 license).

Lapg is the combined lexical analyzer and parser generator, which converts a description for a context-free LALR grammar into source file to parse the grammar. Generates code for Java, Javascript, C, C++ and C#.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

parsing simulator can be used to determine first ,follow , nullable and can be used to calculate LR items.

A modest extension to C, XMTC allows representing parallel (PRAM) algorithms as parallel programs, and run XMTC code using a compiler and cycle accurate simulator of the University of Maryland explicit multi-threaded (XMT) many-core architecture.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

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.

Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.

allspice is a set of java libraries that allow you to easily create (or extend) programming languages that run on top of the JVM for seamless integration with java. Code written in one language is indistinguishable from another.

lightJacc is a small but strong grammar parser generator. It adopts a parsing strategy of its own: dynamic concurrent parsing -- which made it much stronger than LR or LL family CCs (YACC, ANTLR, etc), but still keep good performance.

SecFlow - Secure Flow Analyzation for Java and .NET

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

The aim of this project is to create a fully functional COBOL compiler that translate into Java or directly into bytecode.

openASN.1 is an Open Source Java toolkit for the Abstract Syntax Notation One (ASN.1) which consists of a compiler and codec with a low footprint runtime library.

Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.