Rachel Lambda Samuelsson rachel
1 Followers · 1 Following
  • Gothenburg, Sweden
  • https://rachel.cafe

  • Interested in type theory, category theory and univalent foundations.

  • Joined on 2022-01-22
Repositories
46
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
psDeriver
Nix 0 0

psDeriver is a file which lets one define postscript derivations simply.

Updated 2023-07-23 17:48:30 +02:00

chalmers-eduroam-nix
Nix 0 0

Updated 2023-07-25 13:45:22 +02:00

nixos-config
Nix 0 0

my nixos configuration

Updated 2024-04-19 15:24:09 +02:00