Tagged with Haskell

Haskell appears in compiler / proof-assistant GSoC proposals where strong static guarantees matter.

1 accepted GSoC proposal on GSoCDex is tagged Haskell. Tags are detected automatically by lexical match against a curated vocabulary in data/tech-tags.json — there is no AI involved.

Tap any proposal to read it in-browser. The PDFs come from public community archives — original authors retain ownership.