Matrix
This table shows the state of each algorithm and data structure. H is the human proof, L is the Lean proof, V is the visual and W is the writing. Each language cell gives the code level. Read what the levels mean.
| Page | H | L | V | W | python | cpp | java | c | csharp | javascript | typescript | go | rust | kotlin | swift | ruby | php | dart | scala | haskell | ocaml | fsharp | elixir | julia | r | zig | lua |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Binary search | · | · | · | · | · | · | · | · | · | · | · | · | · | ||||||||||||||
| Insertion sort | · | · | · | · | · | · | · | · | · | · | · | · | · | ||||||||||||||
| Merge sort | · | · | · | · | · | · | · | · | · | · | · | · | · |