Set of scripts to ease development and testing with Terraform.

invoicing tools

themedoc is a theming frontend for pandoc that allows grouping parameters, extra resources and output snippets into named themes

Generates Upstart conf files for your Thin apps. Uses Mustache templates for customization.

Add Mustache to Tilt

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

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.

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