tkn2 is a terminal based presentation tool based on fxn's tkn

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 = {"t1"} / input_data = { [tenant |-> "t1", data |-> "d1"], [tenant |-> "t2", data |-> "d2"] } Transition -8297134421408988195 --> 2398339604900326310

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 (`bin/tla-resolver.rb`), or as API paramters to `TlaParserS::Resolver#resolveModulesDo`.

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 generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.

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.