Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.
OpenDynamo is a Web site creation, backup, and restore tool with an easy and attractive user interface. It is specifically designed for those with no Web site experience or prior knowledge. With just a few clicks, anyone can create a new site. Editing is similar to composing an email, and can be done through the browser. It is a single script with no external requirements apart from common PHP libraries.
pdf2htmlEX renders PDF files in HTML. It aims to provide an accurate rendering while being optimized for Web display. It is designed for scientific papers with complicated formulas and figures, so a precise rendering is the first concern, but general PDF files are also supported.
The DocBook Authoring and Publishing Suite (DAPS) provides a tool set for easy creation and publication of DocBook sources on Linux. It lets you create HTML (including Webhelp), PDF, EPUB, man pages, and other formats with a single command. It automatically takes care of validating and filtering (profiling) your sources and automatically converts images into a format best suited for the output format. You can easily create profiled source tarballs for translation or review. DAPS supports authors by providing linkchecker, validator, spellchecker, and editor macros. It is well suited to manage large documentation projects with multiple authors using the DAPS docmanager.
Embedded GLIBC (EGLIBC) is a variant of the GNU C Library (GLIBC) which is designed to work well on embedded systems. It strives to be source- and binary-compatible with GLIBC. EGLIBC's goals include a reduced footprint, configurable components, and better support for cross-compilation and cross-testing.
AbulEdu Calcul Mental is a software tool that trains children in mental calculation as stipulated by the French Ministry of Education for primary schools. Activities include addition, subtraction, multiplication of integers, addition tables (+2 to +9), times tables (x2 to x9), additional additives (to 10, to 100, to 1000), multiples (of 5, 10, 15, 20, 25 and 50), and orders of magnitude (with additions, subtractions, and multiplications). There is also an editor and selective launcher.