Pinned Loading

1. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 18.3k 14.3k

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

4. dotfiles dotfiles Public

   💫 NixOS configuration files

   Nix 49 1

5. rmob rmob Public

   Forked from tenx-tech/rmob

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

   Rust