arnaudbos / boring-task-queue Public

TLA+ specification for yet another PostgreSQL-based Task Queue

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
.run		.run
src/main		src/main
.gitignore		.gitignore
README.md		README.md

Repository files navigation

BTQ - Boring Task Queue

TLA+ specification for yet another PostgreSQL-based Task Queue

No releases published

No packages published