Stars
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
High availability implementation of AWS NAT instances.
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 consolidates infrastructure assets and the relationships between them in an intuitive graph view powered by a Neo4j 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
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.
Papers from the computer science community to read and discuss.