Pinned

1. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 16k 12.6k

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 37 10

4. dotfiles dotfiles Public

   💫 NixOS configuration files

   Nix 38 1

5. rmob rmob Public

   Forked from tenx-tech/rmob

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

   Rust