Skip to content
View uncomputable's full-sized avatar
  • Blockstream
  • Europe
Block or Report

Block or report uncomputable

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

Popular repositories

  1. zkp-workshop zkp-workshop Public

    Explore the world of zero-knowledge proofs from first principles.

    Python 36 4

  2. tappy tappy Public

    Developer-friendly Taproot-only descriptor wallet for Bitcoin Core

    Rust 10 1

  3. simpiwallet simpiwallet Public

    First wallet that uses Simplicity descriptors

    Rust 7

  4. natural-number-game natural-number-game Public

    Reimplementation of Natural Number Game in Coq

    Coq 6

  5. hal-simplicity hal-simplicity Public

    Companion for the Simplicity language

    Rust 4

  6. rustier-simplicity rustier-simplicity Public

    "If you know Rust, you already know Simplicity."

    Rust 3