April 30, 2008
OCaml 3.10.2 (Default branch)
Objective Caml is the latest implementation of the Caml dialect of ML. It has full support for objects and classes combined with ML-style type reconstruction, a powerful module calculus in the style of Standard ML (but retaining separate compilation), a high-performance native code compiler (in addition to a Caml Light-style bytecode compiler), and labeled arguments with possible default value.
License: Q Public License (QPL)
Changes:
Assorted enhancements and bugfixes.
License: Q Public License (QPL)
Changes:
Assorted enhancements and bugfixes.
Filed under Open Source Software by freshmeat.net announcements (Global)
License: GNU General Public License (GPL)
Changes:
Feature enhancements and bugfixes.
Filed under Open Source Software by freshmeat.net announcements (Global)
Yap is a high-performance Prolog compiler developed at LIACC, Universidade do Porto. Its Prolog engine is based on the WAM (Warren Abstract Machine), with several optimizations for better performance, and achieves performance comparable or exceeding that of commercial Prolog systems. Yap is largely compatible with the major Edinburgh Prolog systems, and has been ported to most 32-bit and 64-bit Unix based platforms. A Windows port is also available.
License: Artistic License
Changes:
Numerous major enhancements.
License: Artistic License
Changes:
Numerous major enhancements.
Filed under Open Source Software by freshmeat.net announcements (Global)
cbench is a compiler benchmark utility that was
implemented to measure the effect of using
different compilers, compile time flags, and
runtime libraries on a set of synthetic micro-
benchmarks of C/C++ code. The set of small
benchmarks is easily extended.
License: GNU General Public License (GPL)
Changes:
Numerous major enhancements.
License: GNU General Public License (GPL)
Changes:
Numerous major enhancements.
Filed under Open Source Software by freshmeat.net announcements (Global)
AVR-Ada aims to make the Ada part of gcc usable on
AVR microcontrollers. This includes the three
elements: the Ada compiler, the Ada run time
system, and the AVR support library. Some sample
programs are provided as well.
License: GNAT Modified GPL (GMGPL)
Changes:
Installation bugs were fixed.
License: GNAT Modified GPL (GMGPL)
Changes:
Installation bugs were fixed.
Filed under Open Source Software by freshmeat.net announcements (Global)
SDCC is a freeware, retargettable, optimizing ANSI-C compiler. The current version targets Intel 8051-based MCUs, the Zilog Z80, and the DS390. Targets for the Microchip PIC and Amtel AVR series are under development, and the compiler can be retargeted for other 8 bit MCUs or PICs. The entire source code for the compiler is distributed under GPL. SDCC uses ASXXXX and ASLINK, a freeware, retargettable assembler & linker. SDCC has extensive MCU (8051)-specific language extensions, which lets it utilize the underlying hardware effectively. It includes a source-level debugger/simulator and can generate debug info for the NoICE debugger.
License: GNU General Public License (GPL)
Changes:
This release added a predefined preprocessor macro for holding SDCC's subversion revision number, various preprocessor macros, an updated preprocessor, multiple infiles for sdcclib, support for many PIC devices, generation of cdb debug info for various platforms, tail call optimization for functions that take no parameters on Z80, and improved multiplication of unsigned chars on Z80. There were also numerous enhancements and bugfixes.
License: GNU General Public License (GPL)
Changes:
This release added a predefined preprocessor macro for holding SDCC's subversion revision number, various preprocessor macros, an updated preprocessor, multiple infiles for sdcclib, support for many PIC devices, generation of cdb debug info for various platforms, tail call optimization for functions that take no parameters on Z80, and improved multiplication of unsigned chars on Z80. There were also numerous enhancements and bugfixes.
Filed under Open Source Software by freshmeat.net announcements (Global)
License: GNU General Public License (GPL)
Changes:
Facilities to store HTML of reports in a buffer for use by plugins and to turn off file generation, $PROJECTNAME and $PROJECTVERSION HTML tokens with CLI parameters to set them, a new $PUBLISHDATE token, and a $TOC key for generating links to bookmarks on the same page.
Filed under Open Source Software by freshmeat.net announcements (Global)

