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!