Prompt Line is a macOS app developed to improve the prompt input experience in the terminal for CLI-based AI coding agents such as Claude Code, Gemini CLI, OpenAI Codex CLI, and Aider.

A GitHub action to create a pull request for changes to your repository in the actions workspace

A github action to bump circle-ci orb versions.

High availability implementation of AWS NAT instances.

Lintian in a docker container

Linux virtual machines, with a focus on running containers

A CLI and set of pre-commit hooks for jsonschema validation with built-in support for GitHub Workflows, Renovate, Azure Pipelines, and more!

Cartography is a Python tool that pulls infrastructure assets and their relationships into a Neo4j graph database.

Terraform Provider for cascading runs across multiple workspaces.

Graph visualizer for JIRA tickets' dependencies

A command line utility to display dependency tree of the installed Python packages

Bash Automated Testing System

Terraform provider for Treasuredata

A self-contained cryptographic library for Python

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Port of Chef's deploy_revision resource

MItamae plugin to run heroku-buildpack

mitamae plugin for runit_service resource

A web based terminal for EC2 instances that does not require SSH or any other inbound connections to the instaces. Instead it uses the AWS Systems Manager (SSM) API to run commands (bash or powersh…

Community builds using source code from OpenJDK project

a superdaemon for hot-deploying server programs

A simple, yet powerful CloudStack API client for python and the command-line.

Discover nodes in cloud environments

Papers from the computer science community to read and discuss.

LLVM-based JIT Compiler for Ruby

Docker image squashing tool

Simple and flexible tool for managing secrets

Fancy logging library for Scala