Ports Search

atheme-services is a set of Services for IRC networks that allows users to manage their channels in a secure and efficient way and allows operators to manage various things about their networks. Unlike it's predecessor, Shrike, services has a completely reworked form of channel management that feels somewhat like eggdrop and is somewhat more useful. Services currently works with many irc daemons. More details are available in the config file. Internally, atheme-services shares more similarities with ircd than it does with IRCServices. Anope/Epona, Cygnus, OperStats, Hybserv, Theia, etc are all based on IRCServices and as such have very old legacy code that none of the authors, except Church truly understand. Atheme was written completely from scratch with the more complex concepts taken from various modern ircd packages, including ircu, ircd-ratbox, hybrid and bahamut. atheme-services is not a drop-in replacement for Anope or Andy Church's IRC Services. It is designed with an entirely different set of goals and as such should not be migrated to with the expectation that it will behave exactly like what was previously implemented. Atheme is designed to act as a directory server, with alternative ways of getting to the data implemented as well as the IRC presence.

D is a systems programming language. Its focus is on combining the power and high performance of C and C++ with the programmer productivity of modern languages like Ruby and Python. Special attention is given to the needs of quality assurance, documentation, management, portability and reliability. The D language is statically typed and compiles directly to machine code. It's multiparadigm, supporting many programming styles: imperative, object oriented, and metaprogramming. It's a member of the C syntax family, and its appearance is very similar to that of C++. It is not governed by a corporate agenda or any overarching theory of programming. The needs and contributions of the D programming community form the direction it goes. This is an unofficial port that compiles directly from source, so it has not been officially validated or tested on the FreeBSD platform by the developer. This Software is copyrighted and comes with a single user license, and may not be redistributed. If you wish to obtain a redistribution license, please contact Digital Mars.

Ur is a programming language in the tradition of ML and Haskell, but featuring a significantly richer type system. Ur is functional, pure, statically-typed, and strict. Ur supports a powerful kind of metaprogramming based on row types. Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization. Ur/Web supports construction of dynamic web applications backed by SQL databases. The signature of the standard library is such that well-typed Ur/Web programs "don't go wrong" in a very broad sense. Not only do they not crash during particular page generations, but they also may not: * Suffer from any kinds of code-injection attacks * Return invalid HTML * Contain dead intra-application links * Have mismatches between HTML forms and the fields expected by their handlers * Include client-side code that makes incorrect assumptions about the "AJAX"-style services that the remote web server provides * Attempt invalid SQL queries * Use improper marshaling or unmarshaling in communication with SQL databases or between browsers and web servers

The qmail program is a secure, reliable, efficient simple message transfer agent. It is meant to be a replacement for the entire sendmail-binmail system that most UNIX hosts use. Although qmail holds security and reliability as its top two priorities, it is also fast. On a Pentium under BSD/OS, qmail can easily handle 200000 separate messages per day that are injected and must then be delivered to local mailboxes! Security and reliability are qmail's two strengths, however. The qmail package ensures a message, once accepted, will never be lost. An optional new mailbox format, maildir, even lets users safely read their mail over NFS, while still accepting new mail deliveries. The following features are supported: host and user masquerading, full host hiding, virtual domains, null clients, list-owner rewriting, relay control, double-bounce recording, arbitrary RFC 822 address lists, cross-host mailing-list loop detection, per-recipient checkpointing, downed host backoffs, independent message retry schedules, a drop-in sendmail replacement, and more! http://pobox.com/~djb/qmail.html

exmh is a TCL/TK based interface to the MH mail system. It provides the usual layer on top of MH commands, as well as many other features: MIME support! Displays richtext and enriched directly. Color feedback in the scan listing. A colour coded folder display with one label per folder. Smart scan caching. News read/post. koi8-r support. Facesaver bitmap display. Ispell support. Background inc. You can set exmh to run inc periodically. Searching over folder listing and message body. A dialog-box interface to MH pick. An editor with emacs-like bindings and MIME support. Glimpse interface. You can index all your mail with glimpse and search for messages by content. User preferences. You can tune exmh through a dialog box. User hacking support. A user library of TCL routines is supported. IMPORTANT: exmh depends on the TK send facility for its background processing. With TK 3.3, send now uses xauthority mechanisms by default, unless you compile TK with -DTK_NO_SECURITY. Generally, this means that you **MUST** must run xdm to start your Xserver.

CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination. CVC3 is the last offspring of a series of popular SMT provers, which originated at Stanford University with the SVC system. In particular, it builds on the code base of CVC Lite, its most recent predecessor. Its high level design follows that of the Sammy prover. CVC3 works with a version of first-order logic with polymorphic types and has a wide variety of features including: * several built-in base theories: rational and integer linear arithmetic, arrays, tuples, records, inductive data types, bit vectors, and equality over uninterpreted function symbols; * support for quantifiers; * an interactive text-based interface; * a rich C and C++ API for embedding in other systems; * proof and model generation abilities; * predicate subtyping; * essentially no limit on its use for research or commercial purposes (see license).

Book of Psalms from the Douai Bible (1610) in fortune(6) file format In general, taking random out-of-context verses from a Bible is a VERY bad idea. This said, this is an experiment to generate a not too bad fortune-cookie database under the following principles: - Only the text from the psalms, which are usually meant for praying, were taken. - The texts always include at least some context: you are always notified where the text came from and there is always sufficient text so that the phrases make sense. - The text was taken from the classic Douai Bible, a direct translation from the latin Vulgata. The old language will not give you false impressions that you are actually understanding it fully. - No effort was done to remove the original comments. Non-Christians may rightfully feel the translation is biased. This is meant to be a general aid for Christian meditation: it is not generally to be taken as my message-of-the-day from God. To use, you need UNIX fortune(6) utility and you should follow the instructions from the corresponding man page.

[ excerpt from developer's site ] It is a free library for decoding mpeg-2 and mpeg-1 video streams. The main goals in libmpeg2 development are: Conformance - libmpeg2 is able to decode all mpeg streams that conform to certain restrictions: "constrained parameters" for mpeg-1, and "main profile" for mpeg-2. In practice, this is what most people are using. For streams that follow these restrictions, we believe libmpeg2 is 100% conformant to the mpeg standards - and we have a pretty extensive test suite to check this. Speed - for most current systems, the display will actually take more time than the mpeg-2 decoding. For systems that have hardware color conversion and scaling (as we can use with the xv extension in Xfree 4), you should be able to watch DVD streams on a Celeron 400. On a PIII/666 with null display you should get about 110 frames per second. Portability - most of the code is written in C, and when we use platform-specific optimizations we always have a generic C routine to fall back on.

Radiator is a highly configurable and flexible Radius server that supports authentication by a huge range of authentication methods such as Flat files, DBM files, Unix password files, SQL databases, remote Radius servers (proxying), external programs, NT User Manager, Active Directory, LDAP, PAM, iPASS, GRIC, NIS+, Tacacs+, a wide range of ISP billing packages such as Emerald, Platypus, Rodopi, Hawk-i, Interbiller98, Freeside etc, your legacy user database etc, etc. Radiator now supports more 802.1x secure wireless and LAN authentication methods than any other Radius server giving a wide choice of 802.1x network clients. Radiator also includes many features not found in other Radius servers such as double-login prevention, username rewriting, full vendor-specific attributes, time-of-day blocking and a GUI for running user tests. Full list of technical features. Runs on all Unix, Linux, Windows 95, 98, NT, 2000, Mac OS-9 and Mac OS-X, VMS. Due to license restrictions, this package must be purchased and manually downloaded from the Open System Consultants web site.

If you have an AT&T Wireless, Bell Canada/Bell Mobility, Cellular One, Cingular, Cricket, Sprint PCS, SkyTel, or T-Mobile cell phone or pager, and you want the ability to send SMS messages to it via a command-line utility, this is what you need. All this program requires is a computer with a baseline Perl 5.x installation and web access. NO EXTRA PERL MODULES REQUIRED! How does it work? SendSMS connects to your service provider's web page and pretends to submit a form to their 'Instant Messaging' web page. Currently, AT&T Wireless, Bell Canada/Bell Mobility, Cellular One, Cingular, Cricket, SkyTel, Sprint PCS, and T-Mobile are supported. Users are encouraged to modify the provided templates to add support for any providers who are currently unsupported. Other Service Providers If you are interested in supporting another service provider please try to modify sendSMS on your own. It is not hard at all. Instructions and examples are included in the code, and if you're familiar with the site you're porting to, it takes about 15 minutes. If you get sendSMS working with any other providers' web sites, please email Paul Kreiner [deacon at thedeacon.org] and/or the port maintainer a patch so it can be added to the next release.