bogwar

Pinned Repositories

CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Language:TLA0 0 00
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.6k 71 0338
ic-hs
A haskell toolbox for the Internet Computer
Language:Haskell35 37 146
ICRC
Repository to ICRC proposals
34 8 775
ICRC-1
A fungible token standard developed by the Ledger & Tokenization working group for the IC.
Language:Rust86 34 4437
interface-spec
IC Interface Specification
37 32 2220
internet-identity
Internet Identity, a blockchain authentication system for the Internet Computer
Language:Rust428 38 115144
portal
Internet Computer Developer Portal
Language:TypeScript94 34 153477

bogwar's Repositories

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