Skip to content
View danwt's full-sized avatar

Block or report danwt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
danwt/README.md

👋 Hi

Blog Linkedin

Pinned Loading

  1. gerr gerr Public

    Go library for Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors

    Go 1

  2. dymensionxyz/gerr-cosmos dymensionxyz/gerr-cosmos Public

    Go errors for use in Cosmos SDK projects based on Google API guideline error types https://cloud.google.com/apis/design/errors#handling_errors

    Go 1

  3. doc-designing-concurrent-trees doc-designing-concurrent-trees Public

    MSc thesis on designing correct concurrent shared memory balance tree data structures, with the help of model checking and TLA+.

  4. proj-modelator-py proj-modelator-py Public

    Forked from informalsystems/modelator-py

    Utilities for the TLA+ ecoystem and model-based testing using TLA+.

    Python

  5. demo-percolator demo-percolator Public

    TLA+ for percolator.

    TLA