2754 projects tagged "GPLv3"
rConfig is a network device configuration management utility for network engineers to take frequent configuration snapshots of their network devices. It lets you choose which commands you want to run against your devices. Simply configure rConfig with the list of commands you wish to apply to a category of devices, and add devices to the category. Create a scheduled task, and rConfig will do the rest.
twcbackup is easy-to-configure backup software with a graphical configuration tool. It supports multiple backup methods. Usually, the bfsync method is used, which maintains a backup pool of SHA1-hashed files which allows file-level duplication. Automatic deletion of old backups, backup of local data or remote machines via ssh/rsync (Linux machines) or smb/rsync (Windows machines), and replication of the backup repository are supported.
GitFS is a fuse- and git-based remote filesystem with local cache for disconnected operation. It does periodic commits and pushes/pulls to keep a local shadow file system in sync with a remote repository. The filesystem should continue to work when you are disconnected. Merging after disconnected updates from multiple locations is left to git.
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.
RoseThorn is a cross-platform library for 2D and 3D games running on GNU/Linux (and possibly other Unix-like OSes) and Windows. Features include: hardware accelerated 2D and 3D rendering; Ogg and WAV Sound support with OpenAL; Lua scripting; BMP, JPEG, and PNG image loading and saving (from screenshots); easily created and modified user interfaces with XML and CSS, combined with Lua event handling; separate 2D and 3D libraries; support for multiple fonts in both TTF and bitmap formats; support for OBJ, 3DS, MD5, and RTM model formats; skeletal animation (a work in progress); support for UDP and TCP networking; thread and mutex support; a Simple Shader API; 2D animated sprites; and some basic cryptography support. There is simple event management, with key/mouse bindings easily customized from the in-game console, config file, command line, or GUI.