Pinned Loading

1. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 18.1k 14k

2. flakegen flakegen Public

   Flake inputs with the full power of Nixlang

   Nix 21 2

3. texshell.nix texshell.nix Public

   Nix flake providing quick access to multiple TeXlive versions

   Nix 4

4. matlab-nix-imperative matlab-nix-imperative Public

   quick and dirty nix-shell wrapper for running an imperatively installed MATLAB in a nix FHS environment

   Nix 6

5. latexplates latexplates Public

   My opinionated latex classes, packages, templates

   TeX

6. infotheo infotheo Public

   Forked from affeldt-aist/infotheo

   A Coq formalization of information theory and linear error-correcting codes

   Coq