Stack Exchange
log in sign up chat discuss faq users badges

Area 51 » user13267

info activity reputation
3,005
reputation
224 views
discussion user
network profile

Registered User

name user13267
member for 9 years
seen Apr 28 at 4:44
website
location
stats accounts
1

Proposal

Korean Language

For linguists, teachers and students of the Korean language.
define
commit
beta

3

Current Commitments
141
days

Substrate and Polkadot

For developers building blockchains with the Substrate SDK, including all parachain developers building on Polkadot, Kusama and other related technologies.
define
commit
public beta
141
days

Proof Assistants

For mathematicians and computer scientists who develop and use proof assistants.
define
commit
public beta
675
committed

Solana

For solana software users and developers.
define
commit
beta

1

Fulfilled Commitment

Korean Language

For linguists, teachers and students of the Korean language.
define
commit
beta

0

Followed

73

Votes Cast
73 up

0 down