Kata Library

Career Opportunities

{{ posting.company.name }} is hiring a {{ posting.title }}

FEATURED TAGS

183 Kata Found

Beta

Multidimensional State

1Trouble-Truffle1 Issue Reported

Status:Testing & feedback needed

Estimated Rank:
2 kyu

Functional Programming

4 kyu

Currying vs. Partial Application

Functional Programming

6 kyu

5,671JohanWiltink

Functional Programming

2 kyu

Count them all!

148pier-bezuhoff

Functional Programming

6 kyu

zipWith II: Lists :]

138JohanWiltink

Data Structures

Functional Programming

7 kyu

Functional Programming

2 kyu

What happened to good old if-statements?

Functional Programming

7 kyu

Currying functions: multiply all elements in an array

13,200limeyb71 Issue Reported

Functional Programming

7 kyu

Scott Orderings and more

Data Structures

Functional Programming

7 kyu

Data Structures

Functional Programming

8 kyu

The 'if' function

25,115user5783879 Issues Reported

Functional Programming

6 kyu

Functional Programming

7 kyu

11,493xcthulhu1 Issue Reported

Functional Programming

1 kyu

2,490surtich2 Issues Reported

Functional Programming

6 kyu

Reducing by steps

3,738g9641 Issue Reported

Functional Programming

Data Structures

7 kyu

8,690xcthulhu1 Issue Reported

Functional Programming

5 kyu

Finding yourself in the Integer Sea

Functional Programming

5 kyu

Calculating with Functions

64,105BattleRattle

Functional Programming

6 kyu

Function composition

6,973matthewglover1 Issue Reported

Functional Programming

6 kyu

Unary function chainer

Functional Programming

Beta

Lazily Grouping

Status:Testing & feedback needed

Estimated Rank:
5 kyu

Functional Programming

3 kyu

The Little Typer: Values, Functions and Currying

33davidmaamoaix

Functional Programming

5 kyu

Fun with lists: trees edition

Functional Programming

Data Structures

7 kyu

The dropWhile Function

2,295jgdodson1 Issue Reported

Functional Programming

Beta

Fancy bool #1: Bool as a higher inductive type

Status:Testing & feedback needed

Estimated Rank:
6 kyu

Theorem Proving

Functional Programming

7 kyu

Fun with lists: anyMatch + allMatch

917janitormeir2 Issues Reported

Functional Programming

7 kyu

First-Class Function Factory

Functional Programming

Beta

suc N = suc M implies N = M? Prove it about finite sets!

Status:Testing & feedback needed

Estimated Rank:
4 kyu

Theorem Proving

Functional Programming

Beta

N + 1 = suc N? Prove it about h-sets!

Status:Testing & feedback needed

Estimated Rank:
4 kyu

Theorem Proving

Functional Programming

Beta

Natural number is not path-equivalent to unit type

Status:Ranking feedback needed

Estimated Rank:
6 kyu

Theorem Proving

Functional Programming

Loading...