4K Video Downloader is a video and audio downloader for YouTube, Vimeo, Facebook, Dailymotion, Metacafe, and other video-sharing services. It features video quality up to 4k resolution, FLV, MP4, and MKV support, extraction of audio to the MP3 format, and a "Smart Mode" for fast downloads.
4PSA VoipNow is PBX software for service providers and enterprises. Easy to use and deploy, it can run on x86 or PowerPC based servers and delivers advanced IP telephony services. It can be deployed in various working scenarios to provide hosted VoIP services in high availability xSP environments, advanced call center services, or enterprise telephony in organizations of all sizes. A free Express version is available.
4Pane is a four pane detailed-list file manager for Linux. It is designed to be fully-featured without bloat, and aims for speed rather than visual effects. In addition to standard file manager things, it offers multiple undo and redo of most operations (including deletions), archive management including 'virtual browsing' inside archives, multiple renaming/duplication of files, a terminal emulator, and user-defined tools.
4Sports is an exercise management application. You can use it to analyze your exercises in a number of ways. 4Sports can import data from the Garmin "Forerunner 201/301" devices, and can display some information in a table and in a graph (like heart rate over distance). It's also possible to export the tracks (GPS data) into Google Earth, where the track is color-coded according to your heart-rate. The graphs can be exported to SVG files.
4store is an efficient, scalable, and stable RDF database. It was developed to underpin Semantic Web applications. It has been providing a base platform for these applications for around 3 years. It has successfully held and run queries over databases of 15GT, supporting a Web application used by hundreds of thousands of people.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.