The Stony Brook Algorithm Repository

Stream: CSLib

[Eric Taucher]

If you are trying to find an algorithm take a look at "The Stony Brook Algorithm Repository" by Steven Skiena (site). Can not say if this would fit in with where CSLib is headed, if it does it is nice to know about.

[Alexandre Rademaker]

Yes, also take a look at the Lean translations from Haskell I have in https://github.com/emap-taa-20251/fad for many traditional algorithms.