Shor summary coming soon

A Mizar Console with Sophisticated Reasoning Support

mkghrepo is a tool to facilitate mass repository creation

A tiny wee mini-server for static files and CSS serving

Household account book, written in Rails

Periodically backup new sections of the oplog for incremental backups.

Texas Instrument MSP430 BSL Ruby library

Test yourself on words listed in a file - perfect for revising for exams!

Ruby movie barcode generator.

This gem gets the description corresponding to a certain NAICS code. NAICS stands for North American Industry Classification System and this code is useful in any system dealing with companies' registration.

Something small for process management

Netdisco is working for network snmp discovery

API Client for Netlify

A Web App wrapper for NeuroHmmer, a program for validating gene predictions.

Replacement for ls

This agent consolidates and manages multiple New Relic plugins. It pulls the agents that defined in .yml file and run them all in one process.

A mapping layer for the OData gem that can integrate with ActiveModel

OJAgent is a client to submit solutions and query status at different online judges. It provides a uniformed interface to a lot of famous online judges.

Command-line tools for interacting with the Olery services running on AWS.

This gem wraps openBD Web API.