PinnedLoading

1. NixOS/nixpkgsNixOS/nixpkgsPublic

   Nix Packages collection & NixOS

   Nix 19.7k 15.2k

2. Matrix Multiplication, Idris StyleMatrix Multiplication, Idris Style

   1

   module Main

   2

   3

   import Data.Vect

   4

   5

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

3. nix-shell-actionnix-shell-actionPublic

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

   TypeScript 45 16

4. dotfilesdotfilesPublic

   💫 NixOS configuration files

   Nix 53

5. rmobrmobPublic

   Forked fromtenx-tech/rmob

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

   Rust