Taekwon-Do Theory Assistant tests you on your Taekwon-Do theory in preparation for your gradings. It fires questions at you and you keep going until you get them all right. It includes exercises that go up to First Degree Black Belt level. This program was designed with the ITF (International Taekwondo Federation) system in mind, and uses the terminology and refers to the moves and patterns of this system.
Easysync allows you to synchronize files among different computers. You pick up a directory you want to synchronize and Easysync will perform synchronisation whenever this directory is changed. The server part propagates the sync signal among clients, so that if there is a change on one client, all other clients will perform synchronization. It is based on Unison.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
HolyGrail is an implementation of the GTD's next action list. In other words, it's a kind of todo list. It is composed of realms (contexts), quests (projects), and missions (todos). A realm groups missions, and generally represents a location or a situation, e.g. "at work", "at home", or "code". A mission is the next physical action to do to complete your goal. A quest is a succession of missions; it represents a goal. Every time what you are planning requires more than one next action, create a project.
AntTweakBar is a small and easy-to-use C/C++ library that allows programmers to quickly add a light and intuitive GUI into OpenGL or DirectX based graphic programs to interactively tweak them. Program variables can be linked to a graphical control that allows users to modify them. Programmers are not required to design the graphical interface by providing coordinates or by using a visual UI editor. Controls are automatically organized following an optional given hierarchy.
Yokadi is a command-line oriented, SQLite powered, TODO list tool. It helps you organize all the things you have to do and you must not forget. It aims to be simple, intuitive, and very efficient. In Yokadi, you manage projects, which contain tasks. At the minimum, a task has a title, but it can also have a description, a due date, an urgency, and keywords. Keywords can be any word that help you to find and sort your tasks.
Neurocognitive Linguistics is an approach to linguistics developed by Sydney Lamb that uses relational networks to model what the brain actually does when it handles language. Neurocognitive Linguistics Lab ("NeuroLab" for short) is a program that allows you to experiment with relational networks using a convenient GUI and record the results of your experiments in tabular form.
Clicco is a tool for constructing command line commands based on saved configurations. It is ideal if you have difficulty remembering the exact commands, arguments, or argument values for various situations, as you can save commands with various argument choices for future use along with a description.
Shibboleth is a standards-based middleware software package providing Web single-sign-on across or within organizational boundaries. It implements standards such as OASIS' SAML to provide a federated single-sign-on and attribute exchange framework. It also provides extended privacy functionality, allowing the browser user and their home site to control the attributes released to each application.