×
Grow Open Source Bounties Hackathons Grants Quests Kudos
(0 Followers)

He-chien Tsai

@t3476

I'm applying Category Theory, dependent type and proof assistant to smart contract development.
Interests:
Front End Development Decentralized Finance Token Economics DAO's & Governance
(0 ratings)

|

Actively looking for work
0 ContributorRank
  • 0 Transactions ( Details )
  • - 0 Bounties completed
  • - 0 Hackathons participated
  • - 0 Tips received
  • - 0 Kudos received
  • - 0 Kudos authored
  • - 0 Grants created
  • $0 Earned
Haskell Go
High Activity
  • Reliability: Unproven
    Details
  • Joined: 2 years, 5 months ago
  • Repeat Funders: 0
  • Longest Streak: 5 weekdays