Ports Search

This is a portable library for performing stream I/O. It provides similar functionality to the ANSI C Standard I/O functions collectively known as Stdio. However, it is generally faster and more robust than most Stdio implementations. This version of the library has been ported to all known UNIX platforms including various flavors of IRIX, SUNOS, Solaris, Ultrix, Linux, BSDI, and MVS/OpenEdition. The library handles 64-bit streams on platforms that support 64-bit files. A set of regression tests is available in the subdirectory $(WRKDIR)/src/lib/sfio/Sfio_t. These tests can be exercised by running the shell script runtest after building the library.

This is a library created by Dmitry Kazakov out of necessity, which was released under the GMGPL and provides Ada implementations of: - smart pointers - B-trees - directed graphs - stacks - sets - tables - maps - string editing - unbounded arrays - expression analyzers - lock-free data structures - synchronization primitives (events, race condition free pulse events, arrays of events, reentrant mutexes, deadlock-free arrays of mutexes) - pseudo-random non-repeating numbers - symmetric encoding and decoding - IEEE 754 representations support - multiple connections server/client designing tools. Tables management and strings editing are described in separate documents; see Tables and Strings edit. The library is kept conform to the Ada 95, Ada 2005, Ada 2012 language standards.

The Subversive project is a brand new Eclipse plug-in that provides Subversion support. From a user point of view, Subversive provides Subversion support similar to CVS support, which is already part of the standard Eclipse platform. The main use cases, which are familiar to CVS users, are: * Connection to the repository using different connection types * Repository browsing * Check-out * Synchronization * Committing * Update * Resolving conflicts * Adding to the list of ignored resources

This extension adds dynamically loadable signal handling to Tcl/Tk scripts.

TESLA builds on our experiences developing the TrustedBSD MAC Framework and Capsicum: our most critical security properties are frequently safety (temporal) properties rather than static invariants. Current tools for testing temporal properties are largely static, and unable to work effectively on extremely large C-language software bases, such as multi-million lines-of-code operating system kernels and web browsers. TESLA borrows ideas from model checking, applying them in a dynamic context using compiler-assisted instrumentation to continuously validate temporal security assertions during software execution. We have implemented a prototype of TESLA based on clang/LLVM AST transforms, which is able to test both explicit automata against C implementations (such as protocol state machines in the kernel and OpenSSL) and inline assertions checking for missing access control checks in OS logic.

TinyLaF is a (mostly painted) pluggable Look and Feel for Java. TinyLaF can look like Windows 98 or like Windows XP. With the assistance of the control panel, the user can define the component's colors and behaviour.

TinyQ is a stripped down version of Qt 3 that has been put together to use as a backend library. It provides all the necessary library classes to comfortably develop in a C++ environment. This includes UTF8 and ASCII strings, type optimized collections (dictionary, map, cache, vector, list), regular expressions, filesystem access, URL processing, threads, shared library handling, user settings, date and time handling, DOM & SAX XML parsers, optimized data and text streams and abstract IO devices.

axfr2acl transfers A records from the given DNS zones and converts them to an ACL for use in BIND configuration files. It is part of dnstools, a set of utilities for DNS management and related tasks.

dnscheck is a simple to use DNS zone sanity checker, comparing name server records and serial numbers with both the parent zone and the zone itself. It allows you to find lame, leaked or stale name servers which have the potential to cause disruption.

adns is a resolver library for C (and C++) programs. In contrast with the existing interfaces, gethostbyname et al and libresolv, it has the following features: * It is reasonably easy to use for simple programs which just want to translate names to addresses, look up MX records, etc. * It can be used in an asynchronous, non-blocking, manner. Many queries can be handled simultaneously. Technical note: adns requires a real nameserver like BIND or Dents running on the same system or a nearby one, which must be willing to provide `recursive service'. I.e., adns is a `stub resolver'.