Pinned Repositories
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
rosetta-client
docs
Documentation for writing code for the Internet Computer
ic
Internet Computer blockchain source: the client/replica software run by nodes
ic-hs
A haskell toolbox for the Internet Computer
ICRC
Repository to ICRC proposals
ICRC-1
A fungible token standard developed by the Ledger & Tokenization working group for the IC.
interface-spec
IC Interface Specification
internet-identity
Internet Identity, a blockchain authentication system for the Internet Computer
portal
Internet Computer Developer Portal
bogwar's Repositories
bogwar/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
bogwar/rosetta-client