😱 A curated list of amazingly awesome OSINT

amateur translation project of Grothendieck's EGA.

Emits code crossreference data for Haskell sources.

The collected works of F. W. Lawvere

Hackage-Server: A Haskell Package Repository

The full power of R in Haskell.

papers of Per Martin Löf

Principled Functional Programming in Scala