|
Menu
TEAM Distributions (131)
Software (10844) Software list :
The newest SW
Total count SW item: 10844
Top download SW
| FIRST <<< | PREV < | Showing items 76 to 90 | > NEXT | >>> LAST |
| SW Name | Home page | Downloaded |
|---|---|---|
| Isabelle | http://isabelle.in.tum.de/ | 34995x |
| 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). | ||
|
|
Enlightenment | http://www.enlightenment.org | 34991x |
| Enlightenment is a window manager for X. Its design goal is to be as configurable as possible - in look AND in feel. Enlightenment's current design aim is to become a desktop shell. That means it will manage your application windows, being able to launch applications, and also manage your files. This is pasted text from enlightenment.org site. Please check http://enlightenment.org for more info about product. (site completely in english) | ||
|
|
Downloader for X | http://www.krasu.ru/[..]oft/chuchelo/ | 34814x |
| Downloader for X is a tool for downloading files from the Internet via both HTTP and FTP with a powerful but userfriendly interface. It supports reconnecting and resuming on connection timeouts, has a download queue for multiple files, support for simultaneous downloads, and many other features for powerful downloading. | ||
|
|
Tux Commander | http://tuxcmd.sourceforge.net/ | 34554x |
| Tux Commander is an open-source file manager with 2 panels side by side written for GTK2 and developed in Borland Kylix 3 Open Edition. New: below there are download links to the testing development snapshot. It supports now FTP and SMB browsing through the gnome-vfs plugin. | ||
|
|
FreeWRL | http://www.crc.ca/FreeWRL/ | 34382x |
| FreeWRL is a free VRML browser for Linux and OS X. It meets or exceeds the VRML97 minimum compliancy requirements. FreeWRL runs standalone, or within a Web Browser. | ||
|
|
Mozilla Calendar | http://www.mozilla.org/[..]cts/calendar/ | 34162x |
| Cross-platform fully standards based calendar client based on the open iCal standard. | ||
|
|
Stratagus (Free/War-Craft) | http://stratagus.sourceforge.net/ | 34160x |
| Stratagus is a free cross-platform real-time strategy gaming engine. It includes support for playing over the internet/LAN, or playing a computer opponent. The engine is configurable and can be used to create games with a wide-range of features specific to your needs. See the data sets page for a list of current games using the stratagus engine. | ||
|
|
XnView | http://www.xnview.com/ | 33656x |
| XnView is image viewer and editor. It can import 400 from different grafical formats and it can export to 50 formats. Basic operations with images (resize, change of color depth, filters..) Conversions of pictures can be also made in console (usefull for shell scripts). | ||
|
|
Evolution | http://www.gnome.org/[..]ts/evolution/ | 33445x |
| Evolution personal and workgroup information management solution for Linux and UNIX-based systems. The software seamlessly integrates email, calendaring, meeting scheduling, contact management, and task lists, in one powerful, fast, and easy-to-use application. Evolution is also powerful collaboration software that connects to popular corporate communications architectures like Microsoft Exchange, Lotus Notes, OpenGroupware and other messaging systems. | ||
|
|
grsecurity | http://www.grsecurity.net/ | 33381x |
| grsecurity is a complete security system for Linux 2.4 that implements a detection/prevention/containment strategy. It prevents most forms of address space modification, confines programs via its Role-Based Access Control system, hardens syscalls, provides full-featured auditing, and implements many of the OpenBSD randomness features. | ||
|
|
Edonkey/Overnet GUI controller ( ed2k-gtk-gui v0.6.1) | http://ed2k-gtk-gui.sourceforge.net/ | 33062x |
| GUI controller for remote client for overnet/edonkey file-sharing network. Supprots all casual functions such as file searching, transfer view, setting options (upload/download speed, shared folders, skinning). Server part of overnet client may be placed either on local or remote host. | ||
|
|
Heroes | http://heroes.sourceforge.net/ | 33002x |
| Heroes is similar to the "Tron" and "Nibbles" games of yore, but includes many graphical improvements and new game features including 12 original soundtracks, 94 levels (in 10 different tilesets), and five gaming modes including Quest (the classical Nibbles), or Kill'em all (squish the lemmings). | ||
|
|
BitDefender Linux Edition | http://www.bitdefender.com/[..]s.php?p_id=16 | 32825x |
| BitDefender Linux Edition is a powerful on-demand antivirus scanner for command lines and shell scripts. | ||
|
|
mpg123-mysql | http://www.brettnacher.org/[..]=mpg123-mysql | 32719x |
| mpg123-mysql consists of some patches to mpg123 which make it support MySQL. This adds some bells and whistles, including rating support and playlist support. | ||
|
|
KNetworkConf | http://knetworkconf.sourceforge.net/ | 32539x |
| KNetworkConf is a KDE application to configure TCP/IP settings on a Linux machine. I developed it because I couldn't find any application to configure TCP/IP settings from within KDE, and I think this is a "must have" app for a serious Desktop Enviroment like KDE. | ||
|
|
||
| FIRST <<< | PREV < | Showing items 76 to 90 | > NEXT | >>> LAST |
Search Software
Search Google
| 1. |
Pacman linux Download: 6053x |
| 2. |
FreeBSD Download: 10226x |
| 3. |
PCLinuxOS-2010 Download: 9705x |
| 4. |
alcolix Download: 12404x |
| 5. |
Onebase Linux Download: 11213x |
| 6. |
Novell Linux Desktop Download: 0x |
| 7. |
KateOS Download: 7545x |
| 1. |
xinetd Download: 3805x |
| 2. |
RDGS Download: 937x |
| 3. |
spkg Download: 6859x |
| 4. |
LinPacker Download: 12136x |
| 5. |
VFU File Manager Download: 4143x |
| 6. |
LeftHand Mała Księgowość Download: 8539x |
| 7. |
MISU pyFotoResize Download: 3898x |
| 8. |
Lefthand CRM Download: 4678x |
| 9. |
MetadataExtractor Download: 0x |
| 10. |
RCP100 Download: 4342x |
| 11. |
Predaj softveru Download: 0x |
| 12. |
MSH Free Autoresponder Download: 0x |
linuxsoft.cz
| Design: www.megadesign.cz