Search results
Results from the WOW.Com Content Network
This is a list of free and open-source software packages, computer software licensed under free software licenses and open-source licenses. Software that fits the Free Software Definition may be more appropriately called free software ; the GNU project in particular objects to their works being referred to as open-source . [1]
Zazzle. Zazzle is an American online marketplace that allows designers and customers to create their own products with independent manufacturers (clothing, posters, etc.), as well as use images from participating companies. Zazzle has partnered with many brands to amass a collection of digital images from companies like Disney, Warner Brothers ...
MeshLab is a 3D mesh processing software system that is oriented to the management and processing of unstructured large meshes and provides a set of tools for editing, cleaning, healing, inspecting, rendering, and converting these kinds of meshes.
GNU Aspell, usually called just Aspell, is a free software spell checker designed to replace Ispell. It is the standard spell checker for the GNU operating system. It also compiles for other Unix-like operating systems and Windows. The main program is licensed under the GNU Lesser General Public License (GNU LGPL), the documentation under the ...
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
libjpeg is a free library with functions for handling the JPEG image data format. It implements a JPEG codec (encoding and decoding) alongside various utilities for handling JPEG data. It is written in C and distributed as free software together with its source code under the terms of a custom permissive ( BSD -like) free software license ...
Windows Update MiniTool. Windows Update MiniTool (also called WUMT) is a freeware application client released in 2015. It was created by a programmer named stupid user, based in Russia. The program is available in English, Spanish, Korean and Russian languages. It is an alternative to Windows Update, used for searching important updates for the ...
A list of verification tools for probabilistic, stochastic, hybrid, and timed systems. Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies. VLTS (Very Large Transition Systems): a collection of Labelled Transition Systems of increasing ...