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.
Cyrus2Dovecot is a full-featured command line tool for converting the
e-mails of one or more users from Cyrus format to Dovecot Maildir++ folders.
It allows for performing a server transition which is fully transparent to
both POP and IMAP users.
DavMail POP/IMAP/SMTP/Caldav/Carddav/LDAP Exchange Gateway
DavMail is a POP/IMAP/SMTP/Caldav/Carddav/LDAP exchange gateway
allowing users to use any mail/calendar client (e.g. Thunderbird
with Lightning or Apple iCal) with an Exchange server, even from
the internet or behind a firewall through Outlook Web Access.
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.
MIME::Explode is perl module for parsing and decoding single or multipart
MIME messages, and outputting its decoded components to a given directory
ie, this module is designed to allows users to extract the attached files
out of a MIME encoded email messages or mailboxes.