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.

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

Cool todo app

allow you to integrate your mail into todoist.(required IMAP.)

A tool for managing and saying bye to todos