Loading...
Choose Language...
JavaScript
Ruby
Python
Haskell
PHP
C++
Java
C#
Elixir
VB (Beta)
COBOL (Beta)
Go
PureScript (Beta)
Scala
Julia (Beta)
Racket
F#
Factor (Beta)
Rust
CoffeeScript
Swift
C
Kotlin
Lua
D (Beta)
λ Calculus (Beta)
Prolog (Beta)
Clojure
OCaml (Beta)
Dart
Agda (Beta)
Idris (Beta)
TypeScript
Groovy
Coq
Lean
Train Now

Start training on this collection. Each time you skip or complete a kata you will be taken to the next kata in the series. Once you cycle through the items in the collection you will revert back to your normal training routine.

Description

This is a collection of Kata that will improve your Haskell skill.

After finishing a Kata, please take a few second to vote and give rank, so better Kata can be seen more often, and beta Kata become non-beta. You also get internet points for doing so.

PS: Do not have a Clan? Come join Gensokyo!

Ad
4 kyu
So Many Permutations!
47,809BattleRattle
Permutations
Strings
Algorithms
4 kyu
Fix it
549gans
Fundamentals
4 kyu
Functional streams
745muesli4
Streams
Functional Programming
Algorithms
3 kyu
Make a spiral
14,752Bugari
Algorithms
Arrays
Logic
3 kyu
Isomorphism
901lolisa
Functional Programming
Fundamentals
2 kyu
Algebraic Isomorphism
532lolisa
Functional Programming
Fundamentals
Tutorials
5 kyu
Rule 30
821MircoT
Lists
Arrays
Binary
Puzzles
3 kyu
Sudoku Solver
14,299pineappleclock
Games
Game Solvers
Algorithms
4 kyu
NIM the game
855xcthulhu
Mathematics
Games
Puzzles
2 kyu
Writing applicative parsers from scratch
341muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Operator Parser
101matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
Singletons
451mpickering
Fundamentals
2 kyu
Finally tagless interpreter
305tel
Interpreters
Algorithms
1 kyu
Lensmaker
381tel
Fundamentals
Functional Programming
Puzzles
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
5 kyu
Peano numbers
415jariazavalverde
Data Structures
Algorithms
2 kyu
Simple SQL Engine
497SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
3 kyu
Data Types à la Carte [fork]
184lolisa
Fundamentals
Functional Programming
Puzzles
2 kyu
Odd + Even = Odd? Prove it!
720AJFarmar
Number Theory
Fundamentals
1 kyu
Sloth
49lolisa
Functional Programming
Fundamentals
1 kyu
A+B=B+A? Prove it!
463AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
600xenoexplorator
Functional Programming
Fundamentals
Beta
Auto program generation
6surtich
Status:Testing & feedback needed
Algorithms
1 kyu
Functional SQL
2,741surtich
Functional Programming
Algorithms
2 kyu
Yoneda lemma
176pier-bezuhoff
Mathematics
Fundamentals
6 kyu
Reusable memoisation
2,651JohanWiltink
Functional Programming
Recursion
Algorithms
2 kyu
Count them all!
169pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
3 kyu
Constructing finite fields using binary polynoms
156muesli4
Mathematics
Data Structures
Algebra
Strings
Algorithms
4 kyu
Template Haskell: Tuple maker
134AJFarmar
Metaprogramming
Fundamentals
4 kyu
(A+B)+C=A+(B+C)? Prove it!
274ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
A*B=B*A? Prove it!
213ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Sort binary tree by levels
13,481kars7e
Trees
Binary Trees
Performance
Algorithms
Sorting
2 kyu
Regular expression parser
1,040phaul
Parsing
Functional Programming
Algorithms
5 kyu
List concatenation is injective? Prove it!
65lwoo1999
Algorithms
Mathematics
Lists
Theorem Proving
Puzzles
6 kyu
A+A=B+B so A=B? Prove it!
260ice1000
Mathematics
Theorem Proving
Algorithms
7 kyu
Google interview
316ice1000
Theorem Proving
Data Structures
Trees
Algorithms
2 kyu
Nat in the mirror
33ice1000
Theorem Proving
Algorithms
3 kyu
Tear me apart and merge the pieces together
38ice1000
Theorem Proving
Lists
Fundamentals
6 kyu
I'm now 360 degree different from the past
120ice1000
Theorem Proving
Lists
Fundamentals
5 kyu
DNE equivalent to PEM? Prove It!
212yuxuanchiadm
Mathematics
Fundamentals
7 kyu
OddsAndEvens: Addition
159bredor
Theorem Proving
Algorithms
5 kyu
Implementing typeclasses
40ice1000
Language Features
Fundamentals
5 kyu
Multiples of 3, you say?
116donaldsebleung
Theorem Proving
Puzzles
7 kyu
A random fact about filtering
125donaldsebleung
Theorem Proving
Puzzles
4 kyu
Introduction to bijection, cardinality, and infinite sets
156solitude
Theorem Proving
Set Theory
Fundamentals
6 kyu
Simplifying conditional statements
41donaldsebleung
Theorem Proving
Puzzles
Tutorials
7 kyu
This square is perfect
262lwoo1999
Theorem Proving
Fundamentals
2 kyu
Just Be Injective
47ice1000
Theorem Proving
Algorithms
5 kyu
EM implies LPO, LPO implies LLPO
79solitude
Theorem Proving
Mathematics
Logic
Algorithms
2 kyu
Nat in the mirror, Full version
29solitude
Theorem Proving
Algorithms
Beta
Rust Quiz: We Can Prove It!
6YuumuKonpaku
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Logic
Puzzles
4 kyu
A special set of matrices with unique representation
52solitude
Theorem Proving
Mathematics
Linear Algebra
Algorithms
5 kyu
W-types
16lwoo1999
Fundamentals
Beta
Inductive types are initial algebras
3lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Fundamentals