gem for controlling an open sprinkler pi http://rayshobby.net/ospi/

gem for controlling an open sprinkler pi http://rayshobby.net/ospi/

A library paring TLA+ language. Gem name `tla-parser-s` because did not want to reserve "officical" `tla-parser` name. Sematic routines create a list of files -names (=modules) needed to satisfy set of entry points. Entry points include names passed as parameters to command line tool (...

Automated time lapse photography via gphoto2

A tool to generate runnable specification models in TLA+ language for business IT systems. Specification model can be verified using TLA+ Tools, and parts of it can be presented as implementation blueprints to developers.

A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model gen...

TLS Cookbook CLI

Convert TextMate color scgemes to GTK Source View color schemes.

Script for converting Textmate snippets to Sublime Text 2

TextMate 2 Bundle/Package Manager

Track your gem stats with ease!

Temporary foreign key add/drop tool for using ER generator for "Keyless entry (SQL Antipatterns)" schema.

Building tmux sessions with ease

Preprocessing TMS Report

Translation Management Synchronization tool for any translation management service & platform.

Generate tmux configurations for your projects

Toadstool styleguide app.

Tobias is a tool to help you find the optimal work_mem for your queries.

Ruby library to find ORCID IDs in the DataCite Solr index.

Search for specific keywords in the codebase and create tickets in the tracker