Client for public libraries
A library for scientific data visualization
Agena is an interpreted procedural programming language.
Virtual Research Environment / On-line Bibliography Manager
Archive your personal history
GUI Application to Search and Count the Pure King James Bible
Free & Open Community Edition Server in a Complete Virtual Machine
Free & Open Community Edition Server in a Complete Virtual Machine
C++ libraries for manipulations in non-Euclidean geometry
Constraint Satisfaction Problem solving library for Java
An interactive program for statistical analysis of texts
Mass video digitization workflow management for archiving
Scriptural Keys Restoration - decoded universally symbolic language
extJWNL is a Java library to handle dictionaries in WordNet format.
Online bibliographic manager for research groups. Zotero-compatible.
Manage, Publish and Share Ontologies, Taxonomies, Thesauri, Glossaries
Programming a Parrot AR.Drone 2.0 with Python - The Easy Way
A collection of machine-checkend mathematical proofs
A Python library for solving geometric constraint problems
An open source school platform built by teachers for teachers