Coronis Test is an HTML test framework based on jQuery. It is specially prepared for AJAX environments. For example, when it checks whether a given text is present, it waits some time, in case it's still processing and has not yet arrived. This way it's very easy to concentrate on actions, without waiting until something happens. It has a built-in mechanism for using action based functions, which helps when debugging something that requires repetitive tasks, like logging in or going to some specific part of the Web application as a specific user. It's a generic framework that is easy to adapt to specific needs. It also has variables that can be easily used from any part of the program.
Beanoh (pronounced Bean-oh) is a simple tool for verifying your Spring context. It verifies that all of your beans are wired correctly, reconciles the beans marked with @Component in the classpath with the beans loaded in the Spring context, and prevents duplicate bean definition overwriting.
Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
TestLink is a test management tool and execution tracking system with Web based and SOAP interfaces. It helps streamline the software development process. It enables quality assurance teams to create and manage their test cases and organize them into test plans and execute them. Users can also manage requirements, create reports, and directly work with bug trackers.
Galemu is an emulator tool for Generic Array Logic (GAL) and Programmable Array Logic (PAL) chips. It provides a trivial command line tool and an advanced QT4-based graphical user interface. JEDEC fuse maps are supported for configuring the emulated chip. Combinatorial and registered chip configurations are supported.
Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.
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.
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.