Kata Library

Career Opportunities

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

FEATURED TAGS

182 Kata Found

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

12,710limeyb71 Issue Reported

Functional Programming

7 kyu

Scott Orderings and more

Data Structures

Functional Programming

7 kyu

Data Structures

Functional Programming

6 kyu

4,435JohanWiltink1 Issue Reported

Functional Programming

8 kyu

The 'if' function

23,399user5783879 Issues Reported

Functional Programming

6 kyu

Functional Programming

7 kyu

11,225xcthulhu1 Issue Reported

Functional Programming

1 kyu

2,433surtich2 Issues Reported

Functional Programming

6 kyu

Reducing by steps

3,625g9641 Issue Reported

Functional Programming

Data Structures

7 kyu

8,466xcthulhu1 Issue Reported

Functional Programming

5 kyu

Finding yourself in the Integer Sea

Functional Programming

5 kyu

Calculating with Functions

61,772BattleRattle

Functional Programming

6 kyu

Function composition

6,860matthewglover

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

30davidmaamoaix

Functional Programming

5 kyu

Fun with lists: trees edition

Functional Programming

Data Structures

7 kyu

The dropWhile Function

2,241jgdodson1 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

873janitormeir2 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

6 kyu

The takeWhile Function

1,733jgdodson2 Issues Reported

Functional Programming

Data Structures

7 kyu

Functional Programming

7 kyu

The Span Function

1,691jgdodson1 Issue Reported

Functional Programming

Beta

Lambda Calculus: group-by

Status:Ranking feedback needed

Estimated Rank:
6 kyu

Functional Programming

Loading...