Kigo Video Converter Pro is a DVD ripping, DVD creation, Web video downloader, and video conversion tool. It supports all popular video formats including FLV, MPEG1, MPEG2, MP4, 3GP, 3G2, MOV, AVI, M2TS, and MPEG TS/TP (for HD Video) and includes output presets for iPod, iPhone, iPhone 3G, PSP, PS3, Apple TV, PSP, and Zune.
TeXstudio is a fully featured LaTeX editor. It is designed to make writing LaTeX documents as easy and comfortable as possible. It features an integrated PDF viewer with (almost) word-level synchronization, live inline preview, advanced syntax highlighting, and live checking of references, citations, LaTeX commands, spelling, and grammar.
STMX is a high-performance Common Lisp library for composable Software Transactional Memory (STM), a concurrency control mechanism aimed at making concurrent programming easier to write and understand. Instead of traditional lock-based programming, one programs with atomic memory transactions: if a memory transaction returns normally it is committed. If it signals an error, it is rolled back. Transactions can safely run in parallel in different threads, are re-executed from the beginning in case of conflicts or if consistent reads cannot be guaranteed, and effects of a transaction are not visible from other threads until committed. This gives freedom from deadlocks, automatic rollback on failure, and aims to resolve the tension between granularity and concurrency.
StepSim is a lightweight step-based simulation module written in Python. It can do simple real-time simulations of discrete systems. StepSim supports step-by-step simulation or can run until a break condition occurs. Simulations are made up of containers and converters. A container stores a discrete amount of units of a certain type. A converter draws units from one or more containers and delivers the result to another container. StepSim does not even attempt to do any parallel processing. It processes converters round-robin in a fixed order.
GlyphViewer is a desktop application that allows users to build translations from text in images and export them into different image formats or even HTML. Users can use OCR technology to identify text in images, such as English, German, Chinese, Arabic, Japanese, and many more. A unique feature of the application is its support for Ancient Egyptian Hieroglyphs.