Pinned Loading

1. xob xob Public

   A lightweight overlay volume (or anything) bar for the X Window System.

   C 460 16

2. youbrick youbrick Public

   Terminal feed aggregator and launcher for Youtube channels

   Haskell 10 1

3. tweag/cooked-validators tweag/cooked-validators Public

   Haskell 43 12

4. NixOS/nix-security-tracker NixOS/nix-security-tracker Public

   Web service for managing information on vulnerabilities in software distributed through Nixpkgs

   Python 109 39

5. vim-tla vim-tla Public

   Vim filetype for the TLA+ specification language and proofs

   Vim Script 22

6. advent-of-code-2020 advent-of-code-2020 Public

   Haskell