mbox2mdir is a small program to convert mail stored in UNIX mbox format to
qmail's Maildir format. It can (optionally) also truncate the source mbox file
upon successful conversion. I use it to move mail delivered by /bin/mail or
sendmail to qmail Maildir folders, but of course there are many other possible
uses for it.
Although the creator of scrypt has written an "example implementation", it
doesn't satisfy the "simple library" requirement that prompts developers to
implement it. Therefore, I've written my adaptation, which quite simply pulls
the relevant parts from the original implementation, then adds a number of
harnesses and simplified interfaces. The hope is that through this, any
developer can utilise scrypt.
The conditional context manager comes handy when you always want to execute a
with-block but only conditionally want to apply its context manager.
A simple XSLT SAX2 filter. It uses any available XSLT processor on your
system that we can use in some SAXy way.
`setcdboot' is used on the DEC Alpha platform to mark a file bootable
within an Alpha ISO-9660 image bootable. First create an ISO-9660 image
using `mkisofs', and then run
setcdboot <name_of_iso_image> <boot_path_within_image>
Once a bootable file image has been marked with `setcdboot', burn the image
to CDROM media in the usual manner. To boot the resulting CDROM, simply
specify the CDROM device as the boot device and the Alpha will boot as if
from hard disk.
JODE is a java package containing a decompiler and an optimizer for
java. This package is freely available under the GNU GPL. The bytecode
package and the core decompiler is now under GNU Lesser General Public
License, so you can integrate it in your project.
Can be used from command line or through the Swing-based GUI.
The decompiler reads in class files and produces something similar to
the original java file. Jode has support for all constructs of JDK-1.3
including inner and anonymous classes.
The optimizer transforms class files in various ways with can be
controlled by a script file. It supports the following operations:
. Renaming class, method, field and local names to shorter,
obfuscated, or unique names or according to a given
translation table
. Removing debugging information
. Removing dead code (classes, fields, methods) and constant
fields
. Optimizing local variable allocation
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.
This is nullmailer, a sendmail/qmail/etc replacement MTA for hosts which
relay to a fixed set of smart relays. It is designed to be simple to
configure, secure, and easily extendable.
CRP is a package that automates the process of being the program chair of a
conference. It's designed to be easy to install, easy to modify and easy
to use by program chairs, PC members, authors and reviewers.
Parses a mobile user agent string into it's basic constituent parts, the most
important being vendor and model. One reason for doing this would be to use
this information to lookup vendor-model specific device characteristics in a
database.