2D/3D Stacked Horizontal Bar Graph for PHP provides a very easy way to embed dynamically generated stacked horizontal bar graphs and charts into PHP applications and HTML Web pages. The graphing software is very easy to use and it's perfectly possible to add professional quality real time graphing to Web pages and applications within minutes.
4Suite XML is a Python-based toolkit for XML application development. It features a library of integrated tools for XML processing, implementing open technologies such as DOM, SAX, XPath, XSLT, XInclude, XPointer, XLink, XUpdate, RELAX NG, and XML/SGML Catalogs. The RDF and Repository components of 4Suite are separate packages that must be installed separately, on top of 4Suite XML.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.
ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.
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.