Popular repositories Loading

1. hello-world hello-world Public

   Test project from the Git-it tutorial

2. learn4haskell learn4haskell Public

   Forked from kowainik/learn4haskell

   👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

   Haskell 1

3. zfoh.ch zfoh.ch Public

   Forked from zfoh/zfoh.ch

   Our homepage

   JavaScript

4. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

5. nixconfig nixconfig Public

   Forked from Untersander/nixconfig

   Shell

6. haskellfoundation.github.io haskellfoundation.github.io Public

   Forked from haskellfoundation/haskellfoundation.github.io

   The Haskell Foundation website, hosted by GitHub Pages.

   Nix