S2eS2E: A platform for multi-path program analysis with selective symbolic execution.
Stars: ✭ 102 (-48.74%)
VerminThe smart virtual machines manager. A modern CLI for Vagrant Boxes.
Stars: ✭ 110 (-44.72%)
Macos Simple KvmTools to set up a quick macOS VM in QEMU, accelerated by KVM.
Stars: ✭ 11,732 (+5795.48%)
builderatorTools to make CI Packer builds awesome
Stars: ✭ 21 (-89.45%)
TYPOTryA small Vagrant box to try out the most recent TYPO3 release
Stars: ✭ 21 (-89.45%)
arch-ansibleAn Ansible playbook to install Arch Linux
Stars: ✭ 33 (-83.42%)
ubuntu-vagrantUbuntu Linux Vagrant Base Box (https://app.vagrantup.com/rgl)
Stars: ✭ 25 (-87.44%)
Adfs2Multi Vagrant environment with Active Directory
Stars: ✭ 117 (-41.21%)
Packer WindozePacker templates to create Windows vagrant box images
Stars: ✭ 117 (-41.21%)
MindforgerThinking notebook and Markdown editor.
Stars: ✭ 1,695 (+751.76%)
GbtHighly configurable prompt builder for Bash, ZSH and PowerShell written in Go.
Stars: ✭ 457 (+129.65%)
WorkstationsVagrant virtual workstations and development environments with Visual Studio, Docker, IIS and SQL Server on Windows for .NET development
Stars: ✭ 45 (-77.39%)
Devbox GolangA Vagrant box with Ansible provisioning for setting up a vim-based Go(lang) development environment
Stars: ✭ 84 (-57.79%)
Ansible PostfixAnsible role to set up postfix in Debian-like systems
Stars: ✭ 102 (-48.74%)
Democratic Csicsi storage for container orchestration systems
Stars: ✭ 120 (-39.7%)
Rpi Pxe Serversetup a Raspberry Pi as an PXE-Server
Stars: ✭ 197 (-1.01%)
RemarkableRemarkable - The Markdown Editor for Linux http://remarkableapp.github.io
Stars: ✭ 1,763 (+785.93%)
OreganoSchematic capture and circuit simulator
Stars: ✭ 163 (-18.09%)
Kube Aws Iam ControllerDistribute different AWS IAM credentials to different pods in Kubernetes via secrets.
Stars: ✭ 137 (-31.16%)
SlurpEvaluate the security of S3 buckets
Stars: ✭ 183 (-8.04%)
Terraform Aws ElasticsearchTerraform module to provision an Elasticsearch cluster with built-in integrations with Kibana and Logstash.
Stars: ✭ 137 (-31.16%)
DceDisposable Cloud Environment
Stars: ✭ 137 (-31.16%)
MyserverMyServer is your own localhost web server. you can setup PHP, Apache, Nginx and MySQL servers on your android devices or linux like Ubuntu etc. MyServer is Developed for android terminal like Termux or GNURoot Debian terminal.
Stars: ✭ 160 (-19.6%)
Graphql RecipesA list of GraphQL recipes that, when used with the Amplify CLI, will deploy an entire AWS AppSync GraphQL backend.
Stars: ✭ 137 (-31.16%)
PackerPackage and deploy apps built with NodeGui to all platforms
Stars: ✭ 137 (-31.16%)
Terraform Aws LambdaTerraform module, which takes care of a lot of AWS Lambda/serverless tasks (build dependencies, packages, updates, deployments) in countless combinations
Stars: ✭ 190 (-4.52%)
SuperwerkerOpen-source solution to automate the setup of an AWS Cloud environment with prescriptive best practices.
Stars: ✭ 161 (-19.1%)
XwslSimple method to install Ubuntu 20.04 with XFCE4 desktop in WSL. Does not require hypervisor, container, or X11 server.
Stars: ✭ 137 (-31.16%)
Cra ServerlessServerless pre-rendering (SSR) for React SPA using AWS Lambda, S3, and CloudFront.
Stars: ✭ 137 (-31.16%)
Scout2Security auditing tool for AWS environments
Stars: ✭ 1,694 (+751.26%)
Ebs Automatic Nvme MappingAutomatic mapping of EBS volumes via NVMe block devices to standard block device paths
Stars: ✭ 136 (-31.66%)
Middy🛵 The stylish Node.js middleware engine for AWS Lambda
Stars: ✭ 2,592 (+1202.51%)
Diagram MakerA library to display an interactive editor for any graph-like data.
Stars: ✭ 2,086 (+948.24%)
Generate Ssh ConfigsAutomatically generate ssh config files for your cloud servers
Stars: ✭ 136 (-31.66%)
BinpackerA binary stream packer and unpacker
Stars: ✭ 162 (-18.59%)
GstsObtain and store AWS STS credentials to interact with Amazon services by authenticating via G Suite SAML.
Stars: ✭ 136 (-31.66%)
Sessions With Aws SamThis repo contains all the SAM templates created in the Twitch series #SessionsWithSAM. The show is every Thursday on Twitch at 10 AM PDT.
Stars: ✭ 136 (-31.66%)
AqQuery AWS resources with SQL
Stars: ✭ 190 (-4.52%)
Chrome Aws LambdaChromium Binary for AWS Lambda and Google Cloud Functions
Stars: ✭ 2,502 (+1157.29%)
Aws CliUniversal Command Line Interface for Amazon Web Services
Stars: ✭ 11,804 (+5831.66%)
Aws Serverless Appsync AppThis workshop shows you how to build a Web Application that demonstrates how easy it is to create data driven web applications all with no servers. You will build a serverless web application that lets users search for popular tourist destinations. The application will use AWS AppSync and the AWS Serverless platform to provide real-time weather analysis of the indexed destinations.
Stars: ✭ 162 (-18.59%)
K3s Gitops Armk3s cluster backed by Flux (GitOps) up and running on a cluster of RPi4
Stars: ✭ 135 (-32.16%)
Micro Aws LambdaA 7KB and 0 dependencies AWS Lambda library which supports middleware and easy debug.
Stars: ✭ 181 (-9.05%)
Rutorrent BonoboxAuto install script for rTorrent with ruTorrent
Stars: ✭ 161 (-19.1%)
QemuXilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.
Stars: ✭ 134 (-32.66%)
Multi Streaming ServerA NGINX server with RTMP module to send video streaming to multiple services simultaneously (Youtube, Twitch, Dailymotion, Hitbox, Beam, etc...).
Stars: ✭ 132 (-33.67%)
AutospottingSaves up to 90% of AWS EC2 costs by automating the use of spot instances on existing AutoScaling groups. Installs in minutes using CloudFormation or Terraform. Convenient to deploy at scale using StackSets. Uses tagging to avoid launch configuration changes. Automated spot termination handling. Reliable fallback to on-demand instances.
Stars: ✭ 2,014 (+912.06%)
Blue TeamBlue Team Scripts
Stars: ✭ 190 (-4.52%)
PhotoshopcclinuxPhotoshop CC v19 installer for Gnu/Linux
Stars: ✭ 2,894 (+1354.27%)