Sign Up
Kata
Kumite
Forum
Wiki
Leaders
Log In
Sign Up
Name:
Donald Sebastian Leung
Clan:
HKUST
Skills:
language agnosticism, functional programming, theorem proving
Member Since:
Jan 2016
Last Seen:
Dec 2019
Profiles:
Following:
658
Followers:
584
Allies:
274
View Profile Badges
Earn extra honor and gain new allies!
Honor is earned for each new codewarrior who joins.
Learn more
Stats
Kata
Collections
Kumite
Social
Discourse
Completed (2731)
Authored
Beta
Folding trees
1
1
1
75%
of
6
9
haspience
Completed Languages:
Beta
Equational reasoning with scanl
2
2
1
70%
of
5
7
haspience
Completed Languages:
Beta
Program Verification #7: Longest Common Subsequence
1
1
1
100%
of
1
2
monadius
Completed Languages:
Beta
Verified Element Index
1
1
0
100%
of
2
3
donaldsebleung
Completed Languages:
5 kyu
Verified subsequence matching
3
3
1
92%
of
6
14
dramforever
Completed Languages:
4 kyu
Longest Common Subsequence (Performance version)
109
109
30
94%
of
131
582
JohanWiltink
Completed Languages:
Retired
Boolean operations on decimal integers
0
0
0
0%
of
4
6
GDBWNV
Completed Languages:
Retired
Find the nth Prime number
0
0
0
0%
of
4
5
AglowOwl456
Completed Languages:
3 kyu
Bloxorz Solver
68
68
13
99%
of
35
96
docgunthrop
Completed Languages:
Draft
Add Decimals and Round
0
0
0
15%
of
10
11
whendon18
Completed Languages:
Beta
Verified Majority Element
1
1
0
100%
of
1
2
donaldsebleung
Completed Languages:
Beta
Verified maximum subarray sum
2
2
1
100%
of
2
3
dramforever
Completed Languages:
4 kyu
Binary Search Tree using Arrays
21
21
13
93%
of
23
52
surtich
Completed Languages:
5 kyu
Exploding a Finite Algebraic Type
3
3
0
90%
of
5
7
phantamanta44
Completed Languages:
Beta
Squared triangular numbers
1
1
0
100%
of
2
3
Voile
Completed Languages:
Loading more items...
Confirm
