Ports Search

This is a C version of Ratfor, derived from a UofA Ratfor in Ratfor rather than the AT&T Ratfor source. It closely corresponds to the pre-processor described in the "SOFTWARE TOOLS" book, and also produces FORTRAN77 code as well as FORTRAN 66.

SDCC is a retargettable, optimizing ANSI C compiler suite that targets the Intel MCS51 based microprocessors (8031, 8032, 8051, 8052, etc.), Maxim (formerly Dallas) DS80C390 variants, Freescale (formerly Motorola) HC08 (hc08, s08), Zilog Z80 based MCUs (z80, z180, gbz80, Rabbit 2000/3000, Rabbit 3000A, TLCS-90) and STMicroelectronics STM8. Work is in progress to support Microchip PIC16 and PIC18 targets.

SPARK 2014 is a programming language and a set of verification tools designed to meet the needs of high-assurance software development. SPARK is based on Ada 2012, both subsetting the language to remove features that defy verification, but also extending the system of contracts and aspects to support modular, formal verification. The new aspects support abstraction and refinement and facilitate deep static analysis to be performed including information-flow analysis and formal verification of an implementation against a specification. SPARK is a much larger and more flexible language than its predecessor SPARK 2005. The language can be configured to suit a number of application domains and standards, from server-class high-assurance systems (such as air-traffic management applications), to embedded, hard real-time, critical systems (such as avionic systems complying with DO-178C Level A). A major feature of SPARK is the support for a mixture of proof and other verification methods such as testing, which facilitates the use of unit proof in place of unit testing; an approach now formalized in DO-178C and the DO-333 formal methods supplement. Certain units may be formally proven and other units validated through testing.

Whitespace is a imperative stack-based programming language that, contrary to most languages, ignores any non-whitespace characters. Only spaces, tabs, and newlines are considered syntax in Whitespace. This port is a prototype interpreter for the Whitespace programming language written in Haskell.

chk4mail - a utility to quickly check multiple folders for new mail This program lists the number of read and unread emails in the folders in your maildirectory and your incoming mailfolder. The chkimap program can be used to do the same on a remote IMAP server. The source code is available from: ftp.stack.nl:/pub/users/johans/chk4mail/

Cone is a text-based mail client. Cone seamlessly handles multiple POP3, IMAP accounts, and local mail folders. Cone is also a simple newsreader. Cone is designed to be foolproof enough to be used by inexperienced users, but also offers advanced features for power users.

fdm is a simple, lightweight replacement for mail fetch, filter and delivery programs such as fetchmail and procmail. It can currently fetch using POP3, POP3S, IMAP or from stdin, and deliver to a pipe, file, maildir, mbox or SMTP server, based on regexps.

This module is designed so that users of the Sendmail::Milter module (or other Sendmail programmers) can ascertain if a user has elected to whitelist themselves as a "spam friend" (where there should be no spam filtering on mail to them) or, where spam-filtering is not the default, but an option, where certain receipients have been labeled as "spam haters".

Missey POP3 Server is a secure, small codes and high performance POP3 server. It's extremely fast and memory footprint is very low. Currently Missey supports system user (virtual user support will be added in the future) and Maildir format only. Source code released under a traditional 4-clause BSD License.

There really isn't much to say, noattach is a milter that parses the body of email messages from sendmail and checks if the filename of attachments matches one of the regular expressions in a given pattern file and rejects those emails that match. Filenames are rfc2047 or rfc2231 decoded if needed. This program needs sendmail version 8.12.2 or newer to be compiled with libmilter.