Search Results for "extensions"

...In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

A file manager for the Unix terminal. Unlike most file managers out there, based on the TUI, CliFM is entirely based on command-line. It is also ultra-lightweight, lightning fast, extensible, and written in C.

NiiCMS permette la creazione di siti sia per persone che non hanno la minima conoscenza di nessun linguaggio sia per veri e propri webmaster che intendono personalizzarlo fino al midollo, NiiCMS è multilingua, usa il mod_rewrite per una migliore indicizzazione del sito e regge i template in Ajax, come ogni CMS permette di dare privileggi agli utenti in modo da suddividere i compiti, ha esenzialmente due parti, una parte amministrativa da dove si possono configurare e installare degli...

...NDPMon also maintains up-to-date a list of neighbors on the link and watches all advertisements and changes. It permits to track the usage of cryptographically generated interface identifiers or temporary global addresses when Privacy extensions are enable (default behavior in Ubuntu and Windows for example).

...Additional included modules feature greylisting, DNS blacklisting, SpamAssassin support and dynamic performance scaling as well as a multithreaded structure that allows for clustering of multiple servers for one or all domains, and with the ease of the Lua API, you can create your own new server mailing lists, CRM software, e-marketing and other extensions within minutes.

Servlet container extensions that help web developers write full featured Java web applications.

A firefox extensions for very popular chinese social network website kaixin001.com. Current tools include a smart bot to help player automatically play its most popular game "parking".