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.
6jack is a framework for testing, analyzing, and fuzzing network applications. 6jack runs a command, intercepts calls to common network-related system calls, and passes them through an external filter. A filter can be written in any language supporting the MessagePack serialization library. 6jack is especially useful for writing tests for clients and servers, debugging and reverse engineering protocols, sketching filtering proxies, and fuzzing.
::mound:: is a software development management platform. ::mound:: provides simple project management with lots of power, but stays out of the way. ::mound:: is methodology independent and is designed for agile software development. It allows for tracking of bugs, tasks, and projects.
A-OK! The Wings of Mercury is a realistic simulation of the Mercury spacecraft. It features 3D graphics, fully functional control panels, networked simulations, and a complete manual. It uses the actual checklists used by the astronauts. Orbital and Sub-Orbital missions can be simulated. Orbital missions and a Mission Control Center simulator are available to registered users.
ABBYY FineReader Express Edition for Mac is an easy-to-use yet powerful OCR application designed specifically for Macintosh computers. With just one click, it converts scanned papers, PDF files, and digital photos of documents into editable and searchable formats, keeping original formatting and layout. Based on ABBYY`s intelligent OCR technologies, it enables Mac users to avoid manual retyping of text and increase every-day productivity when working with documents.
ABC Path Solver is a Perl program and library that automatically solves an ABC Path game while giving the reasoning. ABC Path is a puzzle game in which one should position the letters from "A" to "Y" in a 5*5 grid based on clues. It is featured in brainbashers.com. ABC Path Solver uses a mixture of deduction and solving by trying several branches, which should allow it to solve all initial boards.