Skip to content
View CharlesHoskinson's full-sized avatar
387 followers · 23 following

Achievements

Achievement: Starstruck

Achievements

Achievement: Starstruck

Organizations

@ScorexFoundation

Block or report CharlesHoskinson

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 Loading

  1. naivechain naivechain Public

    Forked from lhartikk/naivechain

    A blockchain implementation in 200 lines of code

    JavaScript 7

  2. jolt-tla jolt-tla Public

    Formal specification for Jolt zkVM continuations: Prose spec (requirements) + TLA+ (model checking) + Lean 4 (executable oracle). 30 verified security invariants.

    Lean 7 2

  3. dancesWithClaws dancesWithClaws Public

    TypeScript 7 3

  4. haskoin haskoin Public

    Forked from jprupp/haskoin-core

    Haskell implementation of the Bitcoin protocol

    Haskell 6

  5. ConsenSys--Fae ConsenSys--Fae Public

    Forked from destenson/ConsenSys--Fae

    Functional alternative to Ethereum

    Haskell 4

  6. bitcoinArchive bitcoinArchive Public

    Forked from benjiqq/bitcoinArchive

    original bitcoin source

    C++ 3 4