Pinned Loading

1. dotfiles dotfiles Public

   My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow

   Nix 55 5

2. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 22.1k 17k

3. elli-lib/elli elli-lib/elli Public

   Simple, robust and performant Erlang web server

   Erlang 332 39

4. idris-hackers/software-foundations idris-hackers/software-foundations Public

   Software Foundations in Idris

   Idris 456 35

5. christian-public/Idris2-Erlang christian-public/Idris2-Erlang Public

   Erlang code generator for Idris 2

   Idris 142 6

6. idris-lang/Idris-dev idris-lang/Idris-dev Public

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 634