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...

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...

Turn any csv into a Ledger journal

Easily embrace Traveling Ruby awesomeness

A lightweight Sinatra web MVC stack

Provides date, time, number, and list formatting functionality for various Twitter-supported locales in Javascript.

gem install universe-templates

For parsing and serving Useless documentation.

This plugin can do provision and create configurations for simple boxes for development

Versed helps you visualize your progress against your scheduled weekly routine.

Verto helps you to versionate your project

Shared components for Vitreous

Runs commands from a webpage

Convert your JSON schema files to Mantle compatible Objective-C models

Wright is a lightweight configuration management tool.

A DSL to create HTML/CSS/JS apps using Ruby.

Generate file templates and add them to XCode project...

A simple API wrapper for Mandrill.

Yarrow is a tool for generating well structured documentation from a variety of input sources.