see also the index (by topic, by tool, by reference, by year)

## 2014

Examples of year 2014

- A Certified First-Order Theorem Prover
- A Sudoku solver
- AVL trees
- Bubble sort
- Check an array of integers for duplicate values
- Checking that a word is a Dyck word
- Coincidence count
- Coincidence count, using lists
- Double WP
- Hash tables with linear probing
- Inverse in place
- Iterated quaternion multiplication
- Largest prime factor
- Mergesort (arrays)
- Mergesort (queues)
- Regular expression matching using residuals
- Remove duplicate elements in an array, in-place
- Ropes
- Skew heaps
- Sum of values in an array, C version
- Topological sorting
- Toy compiler
- Variations on Semantics of Programming Languages
- Warshall algorithm

see also the index (by topic, by tool, by reference, by year)