v1.1.0 — Formal Methods, Docs & More Algorithms

Added

• Formal verification (Lean 4 + Mathlib): formal_physics/ (Taylor, Ch. 6/7/13) and formal_statistics/ (Kutner, Ch. 1–2), both kernel-checked with no sorry.
• Documentation hub: docs/ with a structure map and a usage guide.
• Interview prep deep dives: numbered C++20, STL, smart-pointer, networking and OS topics.
• More algorithms across C, C++, Java, Rust, Go, JavaScript, TypeScript, C#, Python, Julia, Ruby, PHP, Lua, Kotlin and Swift (max heap, circular buffer, Boyer-Moore, Catalan, egg dropping, matrix exponentiation, Gaussian elimination, point-in-polygon, closest pair, base64).
• Repository health: Validate CI workflow, CONTRIBUTING, CODE_OF_CONDUCT, SECURITY, CHANGELOG, issue and PR templates.

Notes

Purely additive: existing modules are unchanged.

v1.0.0 - Multi-Language Code Database

Initial public release of multi-language algorithms, design patterns, and computational scripts database.