Search Results for "system information"

GPL source and toolchain for ASUSTOR NAS

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

DEVELOPMENT OF THIS PROJECT HAS MOVED TO GITHUB, at https://github.com/simonjwright/cortex-gnat-rts This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due (http://www.arduino.org) and the STM32F4-series evaluation boards from STMicroelectronics (http://www.st.com). It is intended that releases will allow the development of proprietary software (by the use of the GCC Runtime Library exception for project-developed code, and by...

Proteus Cross Compiler system allows the generation and compilation of Java Code from llvm-gcc compatible languages (C/C++/fortran). The generated code will execute at up to 50% of native code.

A translator from Java to C language especially for embedded and fast realtime applications, including a javalike runtime System in C.

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