clarksmr/sf-lectures

Software Foundations

sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

graninas/software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in…

cs3110/textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

44bits/awesome-opensource-documents

:blue_book: A curated list of awesome open source or open source licensed documents, guides, books.

PrincetonUniversity/VST

Verified Software Toolchain

haskell/ghcup-hs

MOVED TO CODEBERG. THIS IS A MIRROR.

huangzworks/real-world-haskell-cn

《Real World Haskell》中文翻译项目