Pinned Repositories
danwt
About me.
danwt.github.io
danwt.github.io
demo-chain-replication
TLA+ for chain replication.
demo-percolator
TLA+ for percolator.
demo-primary-backup-replication
TLA+ for primary backup replication.
doc-designing-concurrent-trees
MSc thesis on designing correct concurrent shared memory balance tree data structures, with the help of model checking and TLA+.
event-2022-hackatom
Archived. HackATOM 2022 Seoul Interchain Security Track bootstrapping!
gerr
Go library for Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors
proj-modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
gerr-cosmos
Go errors for use in Cosmos SDK projects based on Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors
danwt's Repositories
danwt/event-2022-hackatom
Archived. HackATOM 2022 Seoul Interchain Security Track bootstrapping!
danwt/gerr
Go library for Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors
danwt/danwt
About me.
danwt/danwt.github.io
danwt.github.io
danwt/demo-chain-replication
TLA+ for chain replication.
danwt/demo-percolator
TLA+ for percolator.
danwt/demo-primary-backup-replication
TLA+ for primary backup replication.
danwt/doc-designing-concurrent-trees
MSc thesis on designing correct concurrent shared memory balance tree data structures, with the help of model checking and TLA+.
danwt/gerr-cosmos
Go errors for use in Cosmos SDK projects based on Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors
danwt/proj-modelator-py
Utilities for the TLA+ ecoystem and model-based testing using TLA+.
danwt/research-artifacts-concurrent-trees
Source code and other artifacts for research on concurrent trees.