bogwar

Pinned Repositories

CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA00
rosetta-client
Language:JavaScript0 0 00
docs
Documentation for writing code for the Internet Computer
Language:Motoko144 46 63110
ic
Internet Computer blockchain source: the client/replica software run by nodes
Language:Rust1.5k 68 0312
ICRC-1
A fungible token standard developed by the Ledger & Tokenization working group for the IC.
Language:Rust80 31 4336
interface-spec
IC Interface Specification
Language:JavaScript37 31 2221
internet-identity
Internet Identity, a blockchain authentication system for the Internet Computer
Language:Rust398 39 106133
portal
Internet Computer Developer Portal
Language:TypeScript75 29 100413

bogwar's Repositories

bogwar/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA00
bogwar/rosetta-client
Language:JavaScript0 0 00