DotNetWikiBot Framework is a full-featured client API with a console interface that allows you to build programs and Web robots easily to manage information on MediaWiki-powered sites. DotNetWikiBot Framework is intended to help with many complicated and routine tasks of wiki site development and maintenance. Any .NET language can be used to access DotNetWikiBot library functions. Only minimal programming skills are required to make bots with DotNetWikiBot Framework.
The Mnemosyne software resembles a traditional flash card program to help you memorize question/answer pairs, but with an important twist: it uses a sophisticated algorithm to schedule the best time for a card to come up for review. Difficult cards that you tend to forget quickly will be scheduled more often, while Mnemosyne won't waste your time on things you remember well.
GSL shell offers an interactive user interface that gives access to the GSL collection of mathematical functions. It is based on the powerful and elegant scripting language Lua. GSL shell is not just a wrapper over the C API of GSL, but offers a much more simple and expressive way to use GSL. The objective is to give the user the power to easily access GSL functions without having to write a complete C application. It also has a powerful module to produce plots or almost any kind of graphics based on data or functions.
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Kuliax is a relatively complete GNU/Linux live distribution developed and optimized for learning, research, and development use, primarily in higher education. It is based on Debian GNU/Linux stable and Debian Live, with backports.org packages. Custom packages include artwork and electronic books.
Marble is a Virtual Globe and World Atlas that you can use to learn more about Earth: you can pan and zoom around, and you can look up places and roads. A mouse click on a place label will provide the respective Wikipedia article. It's also possible to measure distances between locations or watch the current cloud cover. Marble offers different thematic maps: a classroom-style topographic map, a satellite view, street map, earth at night, and temperature and precipitation maps. All maps include a custom map key, so it can also be used as an educational tool for use in classrooms. For educational purposes, you can also change the date and time and watch how the starry sky and the twilight zone on the map change. Marble also features multiple projections: choose between a flat map ("Plate carré"), Mercator, or the globe.
Dr. Geo is an interactive geometry program that is distributed as a universal portable application. It allows one to create a geometric sketch and manipulate it according to its constraints. It is usable at home or at school, in primary or secondary education. It is simple and effective with extended features including scripting and programming.