Mongoid layer for the Sphinx fulltext search server that supports block fields and dynamic indexes

DSL for easily building XML documents using ox

Thanks to a naming convention, Prismatic recognises the DOM elements in your web pages that you intend to access during integration tests and automatically creates the intended SitePrism sections and elements.

Data manipulation and ETL in Ruby

Core library of RgGen tool.

This tool allows you to easily deploy applications to servers. Though currently only Java WARs and Tomcat servers are supported ;-)

API language interface to tla-sbuilder. Uses API Loader Extension Point and Snippet Loader Extension Point in tla-sbuilder tool. tla-sbuilder is a tool to generate runnable formal models in TLA+ language http://research.microsoft.com/en-us/um/people/lamport/tla/book.html Generated formal models can be verified using TLA+ Tools http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html.

Ethreum Solidity language translator

Intermediate API Language (IAL) for to build tla-sbuilder snippets.

Set up sequences of actions that are delayed in time

This is a fork of the cikl/threatinator project

Sonic is a Rails engine which provides a status page for your applications services, along with a number of tools to periodically check those services.

Stax example stacks and generators for cloudformation templates.

An abstraction on top of WebMock to build stubbed HTTP requests

A framework for implementing domain-specific languages for text-based adventure games.

A DSL for building shell scripts

This gem is mainly a proof of concept for the topic "Automated Hunting for Cross-Server Xrefs in Microsoft RPC and COM" on Code Blue 2020. It is a locator for RPC server/client routines and COM interface methods/client calls, so it can be used to search for Cross-Server Xrefs scenes. In addition, it also has other functions such as ALPC client/server.

Web crawling framework based on ActiveJob

Generates JSON for Terraform