IRMP3 is a multimedia audio jukebox for Linux. IRMP3's strength is that it easily integrates into home, car, and mobile environments (where a keyboard/screen interface may not always be available). It supports several input and display devices such as infrared remote controls, LCD displays, network connections, and serial keypads. It includes a robust set of tools like alarms, sound environments, mixers, sleep functions, and more. It supports MP3 players and network-ready control & status monitoring, and includes a flexible, modularized source which allows functionality to be easily extended with user-developed code.
irspider is a Linux-based IRC smartbot. It is very similar in functionality to a search engine on the Web. irspider goes out and spiders DCC offer bots that are in the same channel as itself, and stores tons of information on what those particular bots are offering. Users are then able to query irspider for matches against its database, or request a masslisting of everything that it knows about.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
The Information System Development Kit gives the developer a platform-independent method of creating Information Systems with data forms, SQL database access, database-browsing support, report generator and many other useful features. ISDK is now in a development stage and it is available only for the Linux operating system. The form module now works on text terminals using the ncurses library (not functional right now), and on the X-Window system using the GTK+ toolkit.
isdn4net is a collection of scripts and configuration files to help you run isdn4linux. It is designed for fast setup of a simple dialout to one ISP, but may also be used for management of complex setups. It is intended for Mandrake systems, but if there is interest, it could be adapted to others as well.