Euler Yet another proof Engine
EYE  is a reasoning engine supporting the Semantic Web layers . It performs semibackward reasoning and it supports Euler paths . Via N3  it is interoperable with Cwm .  http://eulersharp.sourceforge.net/README  http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a  http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html  http://www.w3.org/TeamSubmission/n3/  http://www.w3.org/2000/10/swap/doc/cwm
A useful collection of batch files and scripts for daily purposes (backup, security, system management, etc.) and development
The GREAT $120 GIVE AWAY! w/Robolinux 8.10 & runs Windows virus FREE!
Announcing "The GREAT $120 GIVE AWAY!" with Robolinux version 8.10 which runs Windows XP, 7 & 10 Virus Free!" Be a Hero to your Friends & Neighbors spread the word! This is our most exciting announcement since Robolinux was founded in 2011. As of January 3rd, 2018 all Robolinux Software is now Free! Robolinux is pleased to release Robolinux 8.10 Cinnamon, Mate 3D, Xfce 3D & LXDE 32 & 64 bit Raptor version downloads. What makes this new version so attractive to Linux users is for the first time Stealth VM for Robolinux, Stealth VM for Linux Mint, Ubuntu & other RPM systems, C Drive to VM, & the Robolinux Apps Installers are also now FREE! Plus a Free 30 day RoboCyberWall Apache2 & NGINX Firewall subscription. Saving you a total of $120! Please support Robolinux on Patreon. https://www.patreon.com/robolinux Please see the Readme.txt file for complete V8.10 details For all downloads click on the "Browse All Files" button above. Thank you!
yaSSL, or yet another SSL, is an embedded ssl library for programmers building security functionality into their applications and devices. yaSSL is highly portable, and runs on standard as well as embedded platforms(QNX, ThreadX, VxWorks, Tron) yaSSL is still available but no longer being developed. Current development on the same project continues under wolfSSL. Visit yaSSL Home above for the latest stable release.
Real-time performance monitoring, in the greatest possible detail
netdata is the fastest way to visualize metrics. It is a resource efficient, highly optimized system for collecting and visualizing any type of realtime timeseries data, from CPU usage, disk activity, SQL queries, API calls, web site visitors, etc. netdata tries to visualize the truth of now, in its greatest detail, so that you can get insights of what is happening now and what just happened, on your systems and applications. demo at: http://netdata.firehol.org/
cross-distribution software installation system
Zero Install is a decentralised cross-distribution software installation system. Create one package that works everywhere! With dependency handling and automatic updates, full support for shared libraries, and integration with native package managers
The world's leading open source portal
Liferay Portal is the world's leading enterprise open source portal framework, offering integrated Web publishing and content management, an enterprise service bus and service-oriented architecture, and compatibility with all major IT infrastructure.
That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.
Home monitoring and automation suite with interactive Slack bot
Think of myHouse as a framework for collecting statistics and automating your house. Configure the sensors you want to collect data from by leveraging the included plugins (e.g. to collect weather statistics, images from the Internet, your GPS position, data collected by Wirelessthings sensors, etc.). What will be presented in the web interface is completely up to you. You can define your own modules, configure all the widgets and statistics that will be presented in the order you like the most. From the interface your actuators can be controlled as well. You can also easily create rules to be automatically alerted whenever a specific situation is taking place. Notifications are both presented within the web interface, sent by e-mail and posted on a Slack channel of your choice. A Slack bot allows also direct interaction in your natural language. It can reply to your questions, share with you statistics and charts or even control the actuators on your behalf.
CircularLogo is a light-weighted, easy to use web application that visualizes the intra-motif dependencies of a DNA or RNA motif.
Home Assistant is an open-source home automation platform running on Python 3. Track and control all devices at home and automate control. Installation in less than a minute.
Toolkit for 2D and 3D computer graphics
NOTICE: This repository of IFCG will no longer be maintained. You can find the current version at https://github.com/TehFlux/ifcg The Ionflux Computer Graphics Toolkit is a collection of libraries for 2D and 3D graphics processing. The toolkit is written primarily in C++ and has full Python bindings for all components.
Simulated Airline Travel Solution Provider Library
AirTSP is also named AirTSP (TSP standing for Travel Service Provider). That project aims at providing a clean API and a simple implementation, as a C++ library, of an Airline Schedule Management System. It is intended to be used in simulated environments only: it is not designed to work in the real-world of Airline IT operations. AirTSP/AirTSP makes an extensive use of existing open-source libraries for increased functionality, speed and accuracy. In particular the Boost (C++ Standard Extensions: http://www.boost.org) library is used. AirTSP/AirTSP is the one of the components of the Travel Market Simulator (http://www.travel-market-simulator). However, it may be used in a stand-alone mode.
Computer management system for class rooms
Computer management system for class rooms with: - Web based control panel for teachers. - Instalation/Granting access to software from catalog. - Remote control/View students desktop. - Control access to the Internet (individual sites or full access) - Control access to removable storages. - Central storage for users data.
DMS for linux, C++ library, server, webUI , SOAP
COAR-DMS is document management system for 32/64 bit. linux. Acts as library, server and tools. Library features: - storage management, free pages recycling - transaction log - indexing: full text, tags, metadata, document attributes - inverted index - versioning, collaboration - document trees, trees versionning - folders - plugins for auth (PAM,LDAP), db, file types plugins - tags - metadata (key value pairs) - object level security, folders documents ACL, - unix like security (rwx), special authorities - from thousands to tens of billions of documents - dashboard (working copies, new documents) - electronic signs - search statement, syntax like SQL - multithreaded, multiprocess library, Servers: - native HTTP server (libmicrohttp) - SOAP server - WebDAV(planed) - Indexer Python API WebUI GWT, JSP, SOAP-API
Experiment Design and Administration for Computer Clusters. Latest source code on http://github.com/edacc
LAIR is a Sandbox Dungeon Crawling Game
LAIR! is a game designed to provide virtually limitless versatility in the environment that it provides. While you create a new character, it generates a dungeon for you to explore with thousands of creatures, treasures, and secrets. Every piece of content can be generated procedurally by the game engine, so new dungeons and treasures can appear at any time.
multisource epg collect & stream.
EPG collecting and streaming software. The collection can be done from XMLTV files, DVB Adapter, Website or IP Streams.
A feature rich Open Source Core Electronic Medical Record for small medical providers developed with Plone/ Python/ Zope. Core EMR functionalities: Patient History, Past Visits, Rx, Health Maint., Allergies, Labs, Vitals, Notes, and Procedures.
Pipeline for large-scale genome changes analysis of genome datasets.
The active use repository has migrated over to: https://github.com/darrenabbey/ymap The repository here was errantly created with some large binary files included. Attempts to extract the files from the history here have failed. A copy of the history was successfully scrubbed and then hosted at github. -------- Eukaryotic pathogens have complicated and dynamic genomes. To facilitate analysis of copy number variations (CNV), single nucleotide polymorphisms (SNPs), and loss of heterozygosity (LOH) events in Candida albicans, the most common human fungal pathogen, we developed a pipeline for analyzing diverse genome-scale datasets from microarray, deep sequencing, and restriction site associated DNA sequence experiments for clinical and laboratory strains. The YMAP pipeline automatically illustrates genome-wide information in a single intuitive figure and is readily modified for the analysis of other categories of data and other pathogen species with small genomes.
Small, powerful, full featured WYSIWYG editor
Djucene is intended to provide access to a lucene index via web services powered by the django framework