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)
Clojure
OCaml (Beta)
Dart
Agda (Beta)
Idris (Beta)
TypeScript
Groovy
Prolog (Beta)
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!
44,757BattleRattle
Permutations
Strings
Algorithms
4 kyu
Fix it
542gans
Fundamentals
4 kyu
Functional streams
722muesli4
Streams
Functional Programming
Algorithms
3 kyu
Make a spiral
13,786Bugari
Algorithms
Arrays
Logic
3 kyu
Isomorphism
874lolisa
Functional Programming
Fundamentals
2 kyu
Algebraic Isomorphism
513lolisa
Functional Programming
Fundamentals
Tutorials
5 kyu
Rule 30
754MircoT
Lists
Arrays
Binary
Puzzles
3 kyu
Sudoku Solver
12,641pineappleclock
Games
Game Solvers
Algorithms
4 kyu
NIM the game
816xcthulhu
Mathematics
Games
Puzzles
2 kyu
Writing applicative parsers from scratch
334muesli4
Data Structures
Parsing
Strings
Algorithms
Tutorials
2 kyu
Operator Parser
98matthewmoppett
Parsing
Data Structures
Compilers
Puzzles
2 kyu
Singletons
439mpickering
Fundamentals
2 kyu
Finally tagless interpreter
297tel
Interpreters
Algorithms
1 kyu
Lensmaker
370tel
Fundamentals
Functional Programming
Puzzles
6 kyu
Hughes' List
213tel
Algorithms
6 kyu
Product Groups
183xcthulhu
Mathematics
Fundamentals
5 kyu
Peano numbers
373jariazavalverde
Data Structures
Algorithms
2 kyu
Simple SQL Engine
481SteveRuble
SQL
Parsing
Sets
Databases
Algorithms
3 kyu
Data Types à la Carte [fork]
179lolisa
Fundamentals
Functional Programming
Puzzles
2 kyu
Odd + Even = Odd? Prove it!
695AJFarmar
Number Theory
Fundamentals
1 kyu
Sloth
47lolisa
Functional Programming
Fundamentals
1 kyu
A+B=B+A? Prove it!
447AJFarmar
Mathematics
Fundamentals
1 kyu
Scott Encoding
581xenoexplorator
Functional Programming
Fundamentals
Beta
Auto program generation
6surtich
Status:Testing & feedback needed
Algorithms
1 kyu
Functional SQL
2,666surtich
Functional Programming
Algorithms
2 kyu
Yoneda lemma
169pier-bezuhoff
Mathematics
Fundamentals
6 kyu
Reusable memoisation
2,615JohanWiltink
Functional Programming
Recursion
Algorithms
2 kyu
Count them all!
160pier-bezuhoff
Functional Programming
Mathematics
Fundamentals
3 kyu
Constructing finite fields using binary polynoms
150muesli4
Mathematics
Data Structures
Algebra
Strings
Algorithms
4 kyu
Template Haskell: Tuple maker
132AJFarmar
Metaprogramming
Fundamentals
4 kyu
(A+B)+C=A+(B+C)? Prove it!
268ice1000
Theorem Proving
Mathematics
Fundamentals
1 kyu
A*B=B*A? Prove it!
204ice1000
Theorem Proving
Mathematics
Fundamentals
4 kyu
Sort binary tree by levels
12,273kars7e
Trees
Binary Trees
Performance
Algorithms
Sorting
2 kyu
Regular expression parser
901phaul
Parsing
Functional Programming
Algorithms
5 kyu
List concatenation is injective? Prove it!
64lwoo1999
Algorithms
Mathematics
Lists
Theorem Proving
Puzzles
6 kyu
A+A=B+B so A=B? Prove it!
248ice1000
Mathematics
Theorem Proving
Algorithms
7 kyu
Google interview
302ice1000
Theorem Proving
Data Structures
Trees
Algorithms
2 kyu
Nat in the mirror
32ice1000
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
118ice1000
Theorem Proving
Lists
Fundamentals
5 kyu
DNE equivalent to PEM? Prove It!
208yuxuanchiadm
Mathematics
Fundamentals
7 kyu
OddsAndEvens: Addition
150bredor
Theorem Proving
Algorithms
5 kyu
Implementing typeclasses
40ice1000
Language Features
Fundamentals
5 kyu
Multiples of 3, you say?
112donaldsebleung
Theorem Proving
Puzzles
7 kyu
A random fact about filtering
122donaldsebleung
Theorem Proving
Puzzles
4 kyu
Introduction to bijection, cardinality, and infinite sets
153solitude
Theorem Proving
Set Theory
Fundamentals
6 kyu
Simplifying conditional statements
40donaldsebleung
Theorem Proving
Puzzles
Tutorials
7 kyu
This square is perfect
254lwoo1999
Theorem Proving
Fundamentals
2 kyu
Just Be Injective
47ice1000
Theorem Proving
Algorithms
5 kyu
EM implies LPO, LPO implies LLPO
78solitude
Theorem Proving
Mathematics
Logic
Algorithms
2 kyu
Nat in the mirror, Full version
26solitude
Theorem Proving
Algorithms
Beta
Rust Quiz: We Can Prove It!
5YuumuKonpaku
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Logic
Puzzles
4 kyu
A special set of matrices with unique representation
49solitude
Theorem Proving
Mathematics
Linear Algebra
Algorithms
5 kyu
W-types
15lwoo1999
Fundamentals
Beta
Inductive types are initial algebras
3lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
Fundamentals