GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — cryptoquick - Overview
@cryptoquick cryptoquick Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@cryptoquick
cryptoquick
Follow
View cryptoquick's full-sized avatar
🛸
Any software that can be proven in Lean, will eventually be proven in Lean.

Hunter Beast cryptoquick

🛸
Any software that can be proven in Lean, will eventually be proven in Lean.
Follow
Sponsor
Lean and Bitcoin.
414 followers · 300 following
  • 15:52 (UTC -07:00)
  • https://cryptoquick.com
  • @cryptoquick

Sponsoring

@dr-orlovsky

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@voxel @RGB-WG @Grayblock @fullstackrust @LNP-BP @Chi-Botanic @FuzzrNet @cyphernet-labs @bitmask-stack @rust-amplify @BP-WG @AluVM @NOME-ART @SurmountSystems @madewithai @BitVaulty
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring

Pinned Loading

  1. libbitcoinpqc libbitcoinpqc Public

    Post-Quantum Cryptography for use with Bitcoin according to BIP-360

    C 31 6

  2. bips bips Public

    Forked from bitcoin/bips

    Bitcoin Improvement Proposals

    Wikitext 29 11

  3. bitmask-stack/carbonado bitmask-stack/carbonado Public

    An apocalypse-resistant data storage format for the truly paranoid.

    Rust 119 9

  4. bitcoin-layers/layered-bitcoin bitcoin-layers/layered-bitcoin Public

    Layers in Bitcoin

    8 1

  5. SurmountSystems/beastdb SurmountSystems/beastdb Public

    High-assurance, high-performance embedded KV store in Systems Lean / Nix (wip)

    Lean 2

  6. SurmountSystems/systems-lean SurmountSystems/systems-lean Public

    Freestanding high assurance Lean 4 implemented with no runtime GC and linear type multiplicities, compiles AOT to CompCert C

    Lean 14 2

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.