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.
ASCIIMathML is a script that converts calculator-style ASCII math notation (and many LaTeX formulas) to Presentation MathML while your Web page loads. It works with HTML and XHTML files in Mozilla/Firefox/Netscape 7+ browsers, as well as in Internet Explorer 6 with MathPlayer. For example, the solutions for the equation 'ax^2+bx+c=0' are expressed in the HTML file as '(-b +- sqrt(b^2 - 4ac))/(2a)', and display as nicely formatted MathML. The script can be easily used in wikiservers and blogs, as a rudimentary MathML editor (with instant preview), and to preview math formulas as they are typed into a Web page input area.
Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.
Ardesia helps you make colored free-hand annotations on your computer screen, record them, and share them on the network. You can use the tool to make effective on-screen presentations, highlight things, or point out things of interest. It facilitates online presentations and demos, showing in real time your computer screen to anyone in the network. You can use this tool to enhance your lessons or courses. You can create nice tutorials and documentation, saving the desktop images with your free hand annotations. It works with any pointing device. You can draw lines with different strength, select color, erase things, and draw arrows. You can free-hand draw geometrical shapes using the shape recognizer, insert text with the keyboard, and highlight screen areas. You can draw upon the desktop or select an image as a background.