Pinned Loading

1. ghc/ghc ghc/ghc Public mirror

   Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

   Haskell 3.1k 711

2. mello mello Public

   Haskell memory inspection, debugging and tracing library

   Haskell 1

3. koalaman/shellcheck koalaman/shellcheck Public

   ShellCheck, a static analysis tool for shell scripts

   Haskell 37k 1.8k

4. cats cats Public

   Category theory notes and (some) exercises (from "Category theory in context"). Not updated in a while and probably not useful to anyone, but I really like cute commutative diagrams. I'm not a math…

   TeX

5. CatQM CatQM Public

   Categorical Quantum Mechanics (by Abramsky and Coecke) in Coq

   Coq

6. telegraf-openvpn telegraf-openvpn Public

   Pass OpenVPN server status to Telegraf

   Haskell