Projects in Awesome Lists by kelvich
A curated list of projects in awesome lists by kelvich .
https://github.com/kelvich/tlaplus_jupyter
Jupyter kernel for TLA⁺
jupyter-kernel model-checking tla
Last synced: 07 May 2025
https://github.com/kelvich/postgres_pre95
Import of ancient postgres from RCS to git
Last synced: 09 Apr 2025
https://github.com/kelvich/cockroach_bank
Simple banking test to measure cockroach performance
Last synced: 05 Apr 2025
https://github.com/kelvich/pg_dtm
Distributed transaction manager for postgres
Last synced: 05 Apr 2025
https://github.com/kelvich/pg_consistency
Test to check transaction consistency in postgres-based clusters.
Last synced: 05 Apr 2025
https://github.com/kelvich/launder
Simple app to launder image watermarks using images.google.com
Last synced: 05 Apr 2025
https://github.com/kelvich/ansible-postgres
Ansible role to build postgres from sources
Last synced: 05 Apr 2025
https://github.com/kelvich/pg_deploy
Deploy postgres clusters via ansible in various ways
Last synced: 05 Apr 2025