Ports 搜索

Squeak is an open, highly-portable Smalltalk-80 implementation whose virtual machine is written entirely in Smalltalk, making it easy to debug, analyze, and change; it includes among other things: * a rapid-turn-around Smalltalk-80 compiler, * a caching-JIT run-time virtual machine (with full source in Smalltalk), * large class libraries with portable data and GUI models, and * an integrated development environment with powerful coding tools and GUI construction tools. Squeak was developed at Apple Labs, Walt Disney and has been ported to a variety of computers (including most flavors of UNIX and Windows). Compared to other Smalltalk systems, Squeak has 4 important features: * Portability (to Mac, Windows, WinCE, and many flavors of UNIX); * Speed (it uses native C for compute-intensive code); * Price (free, including all source code and the right to distribute applications!); and * Sophistication (full Smalltalk-80 language, libraries, and tools). Squeak comes under an open source license, meaning that you can download and use it for free. http://www-sor.inria.fr/~piumarta/squeak/ (Unix Squeak)

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.

toLua is a tool that greatly simplifies the integration of C/C++ code with Lua. Based on a "cleaned" header file, toLua automatically generates the binding code to access C/C++ features from Lua. Using Lua-5.0 API and tag method facilities, the current version automatically maps C/C++ constants, external variables, functions, namespace, classes, and methods to Lua. It also provides facilities to create Lua modules.

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.

Yabasic implements the most common and simple elements of the basic language; It comes with goto/gosub, with various loops, with user defined subroutines and Libraries. Yabasic does monochrome line graphics and printing. Yabasic runs under Unix and Windows; it is small (around 200KB) and free.

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

Active Spam Killer (ASK) protects your email account against spam by confirming the sender's email address before actual delivery takes place. The confirmation happens by means of a "confirmation message" that is automatically sent to all "unknown" users.

A tool that displays the status of your mailbox/maildir and notifies you when new mail has arrived. It was designed to be used with the Blackbox window manager but should work with any window manager.

Binc IMAP is a GPL licensed IMAP4rev1 server for Maildir, written in C++. It strives to be stable, fast, flexible, and RFC compliant. For those familiar with qmail-pop3d, this IMAP server will be the natural choice. It is invoked similarly and uses checkpassword to authenticate.

Simple autoresponder for qmail