Show HN: Algorithms, Explained, Proved and Run

Category: other

Tags: algorithms, data-structures, education, visualization, formal-verification, multi-language

Score: 6.3/10 (Innovation: 6, Technical: 6, Documentation: 7, Utility: 6)

This project is a structured reference site for algorithms and data structures, where each node bundles prose, pseudocode, proofs, tested implementations in ten languages, and step-through visualizations. It is interesting for combining formal correctness proofs with runnable multi-language code and interactive visuals in a single versioned content repository with a custom toolchain.

Target audience: students, educators, and backend developers learning or teaching algorithms

Repository: https://algorithm.tamnd.com/ · Python · NOASSERTION

View on Hacker News