4 kyu
Algebraic Lists
1,964edalorzo
Completed Languages:
5 kyu
Classical Axioms: Peirce's Law-Equivalent
14Milky2020
Completed Languages:
3 kyu
Type Transpiler
206ice1000
Completed Languages:
2 kyu
I love Lisp
149ice1000
Completed Languages:
2 kyu
Operator Parser
101matthewmoppett
Completed Languages:
2 kyu
Expression Transpiler
576ice1000
Completed Languages:
2 kyu
Regular expression parser
1,084phaul
Completed Languages:
2 kyu
Folding through a fixed point
230tel
Completed Languages:
1 kyu
Express number as sum of four squares
104dolamroth
Completed Languages:
4 kyu
N Linear
501coryshrmn
Completed Languages:
2 kyu
What happened to good old if-statements?
30mrum
Completed Languages:
2 kyu
Assembler interpreter (part II)
2,708ShinuToki
Completed Languages:
2 kyu
The most untyped typed language?
83yihongz
Completed Languages:
6 kyu
Factorial Lambda Calculus
75JohanWiltink
Completed Languages:
2 kyu
Symbolic differentiation of prefix expressions
1,171user4850992
Completed Languages:
Loading more items...