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,200BattleRattle
Permutations
Strings
Algorithms
4 kyu
Fix it
546gans
Fundamentals
4 kyu
Functional streams
739muesli4
Streams
Functional Programming
Algorithms
3 kyu
Make a spiral
14,561Bugari
Algorithms
Arrays
Logic
3 kyu
Isomorphism
895lolisa
Functional Programming
Fundamentals
2 kyu
Algebraic Isomorphism
530lolisa
Functional Programming
Fundamentals
Tutorials
5 kyu
Rule 30
762MircoT
Lists
Arrays
Binary
Puzzles
3 kyu
Sudoku Solver
13,917pineappleclock
Games
Game Solvers
Algorithms
4 kyu
NIM the game
846xcthulhu
Mathematics
Games
Puzzles
2 kyu
Writing applicative parsers from scratch
339muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Operator Parser
101matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
Singletons
449mpickering
Fundamentals
2 kyu
Finally tagless interpreter
303tel
Interpreters
Algorithms
1 kyu
Lensmaker
378tel
Fundamentals
Functional Programming
Puzzles
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
5 kyu
Peano numbers
412jariazavalverde
Data Structures
Algorithms
2 kyu
Simple SQL Engine
492SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
3 kyu
Data Types à la Carte [fork]
182lolisa
Fundamentals
Functional Programming
Puzzles
2 kyu
Odd + Even = Odd? Prove it!
714AJFarmar
Number Theory
Fundamentals
1 kyu
Sloth
49lolisa
Functional Programming
Fundamentals
1 kyu
A+B=B+A? Prove it!
456AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
596xenoexplorator
Functional Programming
Fundamentals
Beta
Auto program generation
6surtich
Status:Testing & feedback needed
Algorithms
1 kyu
Functional SQL
2,725surtich
Functional Programming
Algorithms
2 kyu
Yoneda lemma
174pier-bezuhoff
Mathematics
Fundamentals
6 kyu
Reusable memoisation
2,646JohanWiltink
Functional Programming
Recursion
Algorithms
2 kyu
Count them all!
167pier-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!
273ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
A*B=B*A? Prove it!
211ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Sort binary tree by levels
13,209kars7e
Trees
Binary Trees
Performance
Algorithms
Sorting
2 kyu
Regular expression parser
996phaul
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!
257ice1000
Mathematics
Theorem Proving
Algorithms
7 kyu
Google interview
313ice1000
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
157bredor
Theorem Proving
Algorithms
5 kyu
Implementing typeclasses
40ice1000
Language Features
Fundamentals
5 kyu
Multiples of 3, you say?
115donaldsebleung
Theorem Proving
Puzzles
7 kyu
A random fact about filtering
125donaldsebleung
Theorem Proving
Puzzles
4 kyu
Introduction to bijection, cardinality, and infinite sets
155solitude
Theorem Proving
Set Theory
Fundamentals
6 kyu
Simplifying conditional statements
41donaldsebleung
Theorem Proving
Puzzles
Tutorials
7 kyu
This square is perfect
260lwoo1999
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
27solitude
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