Command line Eventide component generator

Parse a reachability graph and process it using Mustache templates. Example State 2/2398339604900326310: / steps = <<"TenantManager", "Loader">> / db_data = {} / now = 1 / pc = [ Tail |-> "tail_wait", TenantManager |-> "tenant_manager" ] / db_tenants...

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.

Write a longer description or delete this line.

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.