Search Results for "linux engineers toolkit"

This project offers open source implementations for UNESCO/IFIP's Algol 68 (the Revised Report language). The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten...

WebDGap allows you to convert any website or HTML/CSS/JavaScript web application to a native Windows, Mac, Linux, and Chrome application. WebDGap also gives you the option to export as a Chrome popup extension, and you can export your app or website as a native PhoneGap application making your app available for mobile devices :)

The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.