TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.
DansTuner is a program to tell you if you are playing a pitch in tune. Major features include automatic discovery of which note you are trying to play (good for trumpet, singer, etc.), the ability to play a guide tone at a configurable volume, a graphical moving "needle" with a red/green display and detail about how flat or sharp you are, and an easily configurable background noise threshold.
Open Administration for Schools (OAfS) is a Web-based school administration package. Open Admin does demographics, attendance, discipline, report cards, and has an online gradebook and parent viewing function. It is designed for elementary, K-12, and high schools. It generates plain HTML and uses LaTeX for PDF generation. It also includes special education and division-wide central office modules (all schools run on the same server with different virtual sites; two sites per school, one for teachers, and one for the office). Parent functions are by separate parent/school site.
FrAid (Fr[actal] Aid) is a programming language that is appropriate for mathematical computations, visualization, batch processing, and more. It features both a standalone application that provides a programming environment for the language and a system for integrating the language with Java. The Java interface allows mathematical equations and formulas to be used with Java code, making it easier to process numerical computations, symbolic computations, imaging, CAD, and more.
MyLang is a vocabulary trainer. It allows you to learn whole set of words in an efficient and convenient way. It supports multiple translations of words, keeps track of your progress, and has a built in dictionary editor that greatly simplifies dealing with languages that use different keyboard layouts.