Skip to content
View cryptoquick's full-sized avatar
🛸
Any application that can be written in Lean, will eventually be written in Lean.
🛸
Any application that can be written in Lean, will eventually be written in Lean.
410 followers · 293 following

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 @Cryptorado-Community @fullstackrust @LNP-BP @Chi-Botanic @FuzzrNet @cyphernet-labs @bitmask-stack @rust-amplify @BP-WG @AluVM @NOME-ART @SurmountSystems @madewithai @BitVaulty

Block or report cryptoquick

Report abuse

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

Report abuse

Pinned Loading

  1. libbitcoinpqc libbitcoinpqc Public

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

    C 31 7

  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. beastdb beastdb Public

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

    Lean 2

  6. systems-lean systems-lean Public

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

    Lean 4