Creates property, synthesize and dealloc statements from selected ivar declarations for the header and implementation files in an Xcode project.

API client library for Propertyware

Book boilerplate to generate books as EPUB, MOBI, and PDF from simple Markdown text files. Or from HTML. Or from LaTeX. Or mixed.

Write propositional logic formulae using Ruby DSL.

Minisat binding for PropLogic

Sat4j bindings for prop_logic

Create, manipulate, and verify propositional logic sentences

This software produces reports from property data collected and provided by the City of Calgary. The versions used in previous years have won three victories before Calgary's Assessment Review Board, the quasi-judicial body that rules on property tax appeals.

A library for working with ProseMirror documents in Ruby, including conversion between ProseMirror JSON and other formats such as Markdown.

Simple rails presenter with an emphasis on just using ruby.

Gem Prospector allows your team to stay on top of important updates to gems in your Ruby project.

Tool and DSL for checking expected vs actual state

Prospectus helpers for circleci

Prospectus helpers for docker hub

Prospectus helpers for gemspecs

Prospectus helpers for golang

Prospectus helpers for pkgforge

Prospectus helpers for puppet

Prospectus helpers for checking repo staleness

Prospectus helpers for Terraform