Search Results for "sourceforge software tag"

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...

IMPORTANT: ========== Our project home page: https://openmpp.org Our latest source code and release available at: https://github.com/openmpp/main/releases/latest Our documentation available at: https://github.com/openmpp/openmpp.github.io/wiki SourceForge files still exist for historical reason. OpenM++ is an open source microsimulation platform inspired by and compatible with Modgen. OpenM++, compared to its closed source predecessor Modgen, has advantages like portability,...

**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.

Python scripts that'll help you to nearly fully recover your NSIS-installation scripts. It's currently in the 'alpha-state' however it's not far from being worth to title as beta or release. I'm new to Sourceforge - for small updates I may also prefer the page below. UPDATE: It'll maybe not working on this anymore. http://7-zip.de does a great job in also decompiling NSI.So I recommand you to check out 7-zip BETA. Generally 7-zip opens NSI[exe] files - since 9.33 [2014-06-15]...

(we don't use SourceForge anymore)

LIME (Less-is-More) is parallel/concurrent programming environment based on C. Internally, it uses XML technology to describe tasks and their dependencies. Externally, it offers the ANSI C99 programming as well as a set of visually-oriented interfaces.

This is NASM - the famous Netwide Assembler. THIS PAGE IS OUT OF DATE; we no longer use any Sourceforge services other than mailing lists. Get the current versions from http://www.nasm.us/.

We only use the mailing list features of SourceForge. Everything else is at http://factorcode.org/

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.

The main goal of BASIC foundry on SourceForge is to gather all developers that works something related to BASIC programming language in order to help creation of fast, stable, cross-platform, OPEN SOURCE BASIC compiler.