Pinned Loading

1. agda-llvm agda-llvm Public

   Haskell 2 1

2. agda agda Public

   Forked from agda/agda

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

   Haskell

3. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda

4. pcmanfm-qt pcmanfm-qt Public

   Forked from lxqt/pcmanfm-qt

   File manager and desktop icon manager (Qt port of PCManFM and libfm)

   C++

5. bachelor-group-66-systemf/churf bachelor-group-66-systemf/churf Public

   Haskell 7 2

6. nix-config nix-config Public

   Nix