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:
Apr 2020
Profiles:
Following:
662
Followers:
625
Allies:
277
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 (2749)
Authored
5 kyu
[BF] primes
3
3
0
85%
of
10
18
___i
Completed Languages:
Beta
The Church-Rosser Theorem
3
3
0
100%
of
2
3
donaldsebleung
Completed Languages:
6 kyu
Drinker paradox
3
3
0
100%
of
9
14
yuxuanchiadm
Completed Languages:
Beta
Implementing a Verified Evaluator for the Untyped Lambda Calculus
1
1
0
100%
of
2
3
donaldsebleung
Completed Languages:
2 kyu
Expression Transpiler
172
172
58
88%
of
81
262
ice1000
Completed Languages:
2 kyu
The most imperative functional language?
68
68
13
96%
of
71
211
bkaes
Completed Languages:
Draft
Square of stars
0
0
0
17%
of
9
10
lobz1g
Completed Languages:
6 kyu
Alpha to Numeric and Numeric to Alpha
6
6
4
92%
of
46
104
belenox
Completed Languages:
7 kyu
Complete Series
4
4
4
78%
of
63
222
RoninGonan
Completed Languages:
4 kyu
A special set of matrices with unique representation
1
1
1
100%
of
6
9
solitude
Completed Languages:
6 kyu
[Code golf] f (f (f b)) = f b
1
1
0
100%
of
5
8
monadius
Completed Languages:
6 kyu
[Code golf] negb is involutive
1
1
0
100%
of
5
10
monadius
Completed Languages:
8 kyu
What is between?
44
44
5
88%
of
719
5,314
Hiciorman
Completed Languages:
6 kyu
Duality in Boolean logic
2
2
1
100%
of
5
9
dramforever
Completed Languages:
6 kyu
Is nat equal to bool?
2
2
0
100%
of
4
8
dramforever
Completed Languages:
Loading more items...
Confirm
