Pinned Loading

1. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 23.6k 18.1k

2. Matrix Multiplication, Idris Style Matrix Multiplication, Idris Style

   1

   module Main

   2

   3

   import Data.Vect

   4

   5

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

3. nix-shell-action nix-shell-action Public

   Run any command you like in a deterministic Nix shell on Linux and macOS.

   TypeScript 51 10

4. dotfiles dotfiles Public

   💫 NixOS configuration files

   Nix 67