Pinned

1. NixOS/nixpkgs Public

   Nix Packages collection

   Nix 10.2k 8.2k

2. tenx-tech/rmob Public

   Arr! mob - a cli swiss army knife fer shippin' code together

   Rust 4

3. Matrix Multiplication, Idris Style

   1

   module Main

   2

   3

   import Data.Vect

   4

   5

   Matrix: Nat -> Nat -> Type -> Type

4. cargo2nix/cargo2nix Public

   Granular caching, development shell, Nix & Rust integration

   Nix 164 43