Ports Search

The Cython language makes writing C extensions for the Python language as easy as Python itself. Cython is a source code translator based on the well-known Pyrex, but supports more cutting edge functionality and optimizations. The Cython language is very close to the Python language (and most Python code is also valid Cython code), but Cython additionally supports calling C functions and declaring C types on variables and class attributes. This allows the compiler to generate very efficient C code from Cython code. This makes Cython the ideal language for writing glue code for external C libraries, and for fast C modules that speed up the execution of Python code.

The flat assembler is a fast and efficient self-assembling 80x86 assembler for DOS, Windows and Linux operating systems. Currently it supports all 8086-80486/Pentium instructions with MMX, SSE, SSE2, SSE3 and 3DNow! extensions and x86-64 (both AMD64 and EM64T) instructions, can produce output in binary, MZ, PE, COFF or ELF format. It includes the powerful but easy to use macroinstruction support and does multiple passes to optimize the instruction codes for size. The flat assembler is self-compilable and the full source code is included.

The AUX compiler supports several languages: Ada, C, C++, Fortran and Objective-C. Since Ada support must be built by an Ada-capable compiler, only platforms for which a bootstrap compiler is available can build it. The AUX compiler is based on release versions of the Free Software Foundation's GNU Compiler Collection. It uses the GCC Runtime Library Exception, so the resulting binaries have no licensing requirements. Binaries produced by the AUX compiler should be legally handled the same as binaries produced by any FSF compiler. This compiler implements the full Ada-83, Ada-95, Ada-2005 and Ada-2012 standards.

Replacement for the GNU Objective-C runtime supporting the features of modern dialects of Objective-C for use with GNUstep and other Objective-C programs. This runtime is based on the Etoile Objective-C Runtime, an earlier research prototype, and includes support for non-fragile instance variables, type-dependent dispatch, and object planes. It is fully compatible with the FSF's GCC Objective-C ABI and also implements a new ABI that is supported by Clang and is required for some of the newer features.

Intel Cilk Plus is an extension to the C and C++ languages to support data and task parallelism. Primary Features High Performance: * An efficient work-stealing scheduler provides nearly optimal scheduling of parallel tasks * Vector support unlocks the performance that's been hiding in your processors * Powerful hyperobjects allow for lock-free programming Easy to Learn: * Only 3 new keywords to implement task parallelism * Serial semantics make understanding and debugging the parallel program easier *Array Notations provide a natural way to express data parallelism Easy to Use: * Automatic load balancing provides good behavior in multi-programmed environments * Existing algorithms easily adapted for parallelism with minimal modification * Supports both C and C++ programmers

This compiler is based on the original Portable C Compiler by S. C. Johnson, written in the late 70's. Even though much of the compiler has been rewritten, some of the basics still remain. The intention is to write a C99 compiler while still keeping it small, simple, fast and understandable. I think of it as if it shall be able to compile and run on PDP11 (even if it may not happen in reality). But with this in mind it becomes important to think twice about what algorithms are used.

The AUX compiler supports several languages: Ada, C, C++, Fortran and Objective-C. Since Ada support must be built by an Ada-capable compiler, only platforms for which a bootstrap compiler is available can build it. The AUX compiler is based on release versions of the Free Software Foundation's GNU Compiler Collection. It uses the GCC Runtime Library Exception, so the resulting binaries have no licensing requirements. Binaries produced by the AUX compiler should be legally handled the same as binaries produced by any FSF compiler. This compiler implements the full Ada-83, Ada-95, Ada-2005 and Ada-2012 standards.

From the web site: Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of OCaml and Camllight codes. Key parts of the code are hilighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. This mode attempts to give better results than the one provided in the standard distribution of OCaml. Indentation rules are slightly different but closer to classical functional languages. There is no relation with the Tuareg People, except their reputation of great CAMEL riders and breeders. Documentation is installed into share/doc/tuareg-mode

The Twelf implementation comprises * the LF logical framework, including type reconstruction; * the Elf constraint logic programming language; * an inductive meta-theorem prover for LF; * and an Emacs interface. Twelf provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. -- the Twelf home page

automx makes setting up a mail account easy. All your users need to provide is real name, mail address and password. Their mail client and automx will safely handle the rest. automx runs on your server and handles mail account profile requests from your mail clients. Put an end to endless phone calls trying to coach users to configure settings, whose dialogs they can't find. Stop wasting your time writing Tutorials nobody reads. automx unifies Microsoft's and Mozilla's mail account provisioning standards in one powerful Open Source tool. Choose from many backends, including LDAP and SQL, and let automx create standard and individualized profiles for multiple domains on the fly!