Popular repositories Loading

1. haskell-blog-generator haskell-blog-generator Public

   My code for "Learn Haskell by building a blog generator" - an introductory book about Haskell.

   Haskell

2. learnlatex.github.io learnlatex.github.io Public

   Forked from learnlatex/learnlatex.github.io

   Learn LaTeX online

   SCSS

3. hid-examples hid-examples Public

   Forked from bravit/hid-examples

   Examples to accompany the book "Haskell in Depth"

   Haskell

4. lean-regex lean-regex Public

   Forked from pandaman64/lean-regex

   Lean

5. functional-pearls-in-lean functional-pearls-in-lean Public

   Lean

6. DS-Julia2925 DS-Julia2925 Public

   Forked from Beramos/DS-Julia2925

   Julia2925: learn a fast and intuitive programming language in two workdays.

   HTML