I think therefore I am. Satre is a library for proportional and first order logic. It was inspired by the book 'Handbook of practical logic and automated reasoning' by Harrison, J (2009). This project originated at the Technical university munich as a students project in the lectur...

SBI Security client

A command line tool to interface with IBM SmartCloud: create, view & delete instances, keys, volumes, addresses, etc

Spend Cloud Tool enables to setup a local development environment for the Spend Cloud.

It extracts data from exported .xlsx file of SEB bank statements and generates a financial report.

Check Ruby projects for dependencies with known security problems

The seiton (整頓) tidies up your AWS Resources.

Register files to encrypt/decrypt and store them in a separate git repository.

PRE-ALPHA RELEASE! This gem is a work in progress that will soon allow for much easier management of servers and performance of various server administration tasks.

The gem read a conf.yml file in a puppet project to know the multitenant sites and shards and manage changes.

[fir.im 新版api] CLI for Building & Distributing iOS Apps (.ipa Files)

Simple sidekiq log analyzer.

Simple sidekiq log analyzer.

The philosophy of Silicon is to provide minimalistic middleware between your model and API client.

SimpleCI Cli

Single file coverage reports for SimpleCov.

DSL for your SingularityCI instance.

Create site report for SEO many options.

integrates with skytap api

sleeproom