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.
BioCoRE is a collaborative work environment for biomedical research, research management, and training. It features easy-to-use tools, among them co-authoring papers and other documents, running applications on supercomputers, sharing molecular visualization over the Internet, notifying project team members of recent project changes by email, chatting, keeping a lab book, and other practical features.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Condorcet with Dual Dropping is a ranking system for deciding single or multi-winner contests (elections) using voted preference (or approval) ballot list or pairwise tally matrix. It computes the Cloneproof Schwartz Sequential Dropping (CSSD) and Tideman's Ranked Pair (RP) results for each contest round, and selects the combined CSSD and RP outcome with the lowest overall dropping cost. There are options to compute just the CSSD, RP, or Minimum Dropping Cost outcome, various optional pair rank and winner tie-breakers, and alternative measures of dropping cost (winning votes and/or margin). It comes as a console program and CGI executable.
Fast Artificial Neural Network Library is a neural network library that implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in both fixed and floating point are supported. It includes a framework for easy handling of training data sets. It is easy to use, versatile, well documented, and fast. C++, Perl, PHP, .NET, Python, Delphi, Octave, Pure Data, and Mathematica bindings are available. A reference manual accompanies the library with examples and recommendations on how to use the library. A graphical user interface is also available for the library.
Flightdeck-UI is a project that utilizes the ideas in the design of aircraft controls and instruments for creating general purpose user interfaces. The project includes Flightdeck-UI Online (a Web-based monitoring system that works entirely through the browser), the Multi-Variable Monitor (MVM) application, and a Tkinter widget library. Flightdeck-UI Online is installed on a Web server. The MVM application provides a graphical editor with theme support for quickly creating Flightdeck-UI control panels. It is possible but not necessary to write code in order to use MVM.
FramerD is a semi-structured object database integrated with a Scheme-based scripting language which supports multi-lingual programming (with pervasive Unicode), a stable module system for programming in the large, distributed applications (via an extensible RPC protocol), non-deterministic (PROLOG-like) evaluation for search and set operations, multi-threaded program execution, extensive tools for text and language analysis, built-in HTML/XML/MIME parsers, and intuitive (CGI- and FastCGI-based) Web scripting. The built-in object database robustly supports millions of objects and indexed access to those objects, both through disk files and networked servers.
GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.