Graham Lowe's starred repositories
docker-lambda
Docker images and test runners that replicate the live AWS Lambda environment
terraform-docs
Generate documentation from Terraform modules in various output formats
readyset
Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.
distributed-consensus-reading-list
A list of papers about distributed consensus.
diffsitter
A tree-sitter based AST difftool to get meaningful semantic diffs
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
aws-sso-util
Smooth out the rough edges of AWS SSO (temporarily, until AWS makes it better).
terraform-aws-lambda
Terraform module, which takes care of a lot of AWS Lambda/serverless tasks (build dependencies, packages, updates, deployments) in countless combinations 🇺🇦
cargo-msrv
🦀 Find the minimum supported Rust version (MSRV) for your project
vscode-tlaplus
TLA+ language support for Visual Studio Code
codicons.nvim
A plugin simplifying the task of working with VS Code codicons in Neovim