A tutorial on the Sather programming language.
This is the STL reference manual by SGI.
Spidermonkey is the JavaScript interpreter from the Mozilla project.
Spidermonkey is the JavaScript interpreter from the Mozilla project.
Spidermonkey is the JavaScript interpreter from the Mozilla project.
Spidermonkey is the JavaScript interpreter from the Mozilla project.
Ruby is the interpreted scripting language for quick and
easy object-oriented programming. It has many features to
process text files and to do system management tasks (as in
Perl). It is simple, straight-forward, and extensible.
Features of Ruby are shown below.
+ Simple Syntax
+ *Normal* Object-Oriented features(ex. class, method calls)
+ *Advanced* Object-Oriented features(ex. Mix-in, Singleton-method)
+ Operator Overloading
+ Exception Handling
+ Iterators and Closures
+ Garbage Collection
+ Dynamic Loading of Object files(on some architecture)
+ Highly Portable(works on many UNIX machines, and on DOS,
Windows, Mac, BeOS etc.)
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
GNU Anubis is an outgoing mail processor. It goes between the MUA (Mail User
Agent) and the MTA (Mail Transport Agent), and can perform on the fly various
sorts of processing and conversion on the outgoing mail in accord with the
sender's specified rules, based on a highly configurable regular expressions
system. It operates as a proxy server, independently from mail user agents.
GNU Anubis can edit outgoing mail headers, encrypt and/or sign mail with the
GNU Privacy Guard, build secure SMTP tunnels (Simple Mail Transport Protocol)
using the TLS/SSL encryption even if your mail user agent doesn't support it,
or tunnel a connection through a SOCKS proxy server.
--------* --------** ------***
| MUA | ---> | Anubis | ---> | MTA |
--------- ---------- ---------
* Mail User Agent (client)
** An outgoing mail processor and the SMTP tunnel.
*** Mail Transport Agent (server)
ArchiveSMTP is a mail archiver designed to be run on an SMTP mail server. It
uses rule-based matching to collect and store mail passing through an MTA to
specific locations in mbox format. Adding headers and piping output to other
programs is also supported. The libmilter interface is used and must be
supported by the MTA for ArchiveSMTP to work.
Version: 1.2