94 projects tagged "GPL v3"
DataStatix manages data of every kind, creates statistics and graphs, and exports data easily to the R environment. Its features include user management (create, delete, modify password) within the software, different levels of user data access (administrator, standard, read-only), user-defined templates (models) of data, the ability to create new databases easily, importation and exportation of data in CSV format, and synchronization of existing data from a CSV file created with DataStatix.
Theorem Linker is a program used to visualize references between theorems in a paper written using LaTeX. Using a .tex document (and a .aux file, created by the LaTeX compiler), Theorem Linker will search through a paper, find theorems, and find references to other theorems within a theorem's "proof". It will then create a digraph in a .dot file (to be opened with programs such as Graphviz or OmniGraffle) that will display each theorem as a node, with directed edges to describe the relations between the theorems. A path highlighted in red describes the longest path in the graph. Theorem Linker will also create folders containing graphs to individually show relations of each theorem in a paper.
FreeFuzzyTime is a time reasoner based on Fuzzy Temporal Constraint Networks (FTCN), which treats fuzzy temporal information efficiently. It can be integrated into applications for diagnosis. This is especially important in areas like Intensive Care Units, where patients' data are handled by a temporal database. FuzzyTime uses a structure which consists of three levels of abstraction. The upper layer is the user interface, where a translator transforms the expressions introduced by the user into temporal relations between temporal entities (points and intervals). The semantics of a user’s expressions are analyzed and stored in the intermediate layer, or temporal world. Finally, the bottom layer is based on the FTCN model.
BitDew is a programmable environment for the management and distribution of data for grid, desktop grid, and cloud systems. It can easily be integrated into large scale computational systems such as XtremWeb, BOINC, Hadoop, Condor, Glite, Unicore, OpenStack, and Eucalyptus. It provides key P2P, grid, and cloud technologies (DHT, BitTorrent, Amazon S3, DropBox) and high level programming interfaces with a simple API for creating, accessing, storing, and moving data with ease, even in highly dynamic and volatile environments.
SNeBU (Simple Network Backup Utility) is a backup system that supports incremental snapshot-style backups to disk-based storage. The project has been rewritten in C, and stores its backup catalog in an SQLite database. It features file level deduplication (including across multiple clients), compressed storage, incremental-forever snapshot style backups, simple setup, and utilizes standard TAR format. The client side consists of a simple shell script, which can be easily installed and adapted as needed. The server side is a single binary plus a config file, which can sit on a remote server and be accessed over SSH.