2023-10-12 15:15:57 +02:00
|
|
|
{
|
|
|
|
description = "Some flake templates";
|
|
|
|
|
|
|
|
outputs = { self, nixpkgs }: {
|
2023-10-12 16:11:25 +02:00
|
|
|
templates.minimum = {
|
2023-10-12 15:15:57 +02:00
|
|
|
path = ./minimum;
|
|
|
|
description = "Minimal sane flake";
|
|
|
|
welcomeText = "mjau‼";
|
|
|
|
};
|
2023-10-12 16:11:25 +02:00
|
|
|
templates.rust = {
|
2023-10-12 16:08:58 +02:00
|
|
|
path = ./rust;
|
|
|
|
description = "Minimal flake for rust with overlay and devshell";
|
|
|
|
welcomeText = "mjau 🦀🦀🦀";
|
|
|
|
};
|
2023-10-13 11:01:58 +02:00
|
|
|
templates.haskell = {
|
|
|
|
path = ./haskell;
|
|
|
|
description = "Minimal flake for Haskell with nix build system and devshell";
|
|
|
|
welcomeText = "mjau λλλ";
|
|
|
|
};
|
2023-10-13 15:57:53 +02:00
|
|
|
templates.jupyter = {
|
2023-10-15 12:29:58 +02:00
|
|
|
path = ./jupyter;
|
2023-10-13 15:57:53 +02:00
|
|
|
description = "A jupyter flake, with a custom haskell kernel and proper pdflatex LaTeX export supoprt";
|
|
|
|
welcomeText = "mjau 🐍🐍🐍";
|
|
|
|
};
|
2023-12-06 20:09:14 +01:00
|
|
|
templates.python = {
|
|
|
|
path = ./python;
|
|
|
|
description = "Minimal python flake";
|
|
|
|
welcomeText = "hisss 🐍🐍🐍";
|
|
|
|
};
|
2024-03-16 23:42:37 +01:00
|
|
|
templates.verilog = {
|
2024-03-16 23:41:51 +01:00
|
|
|
path = ./fpga;
|
|
|
|
description = "FPGA flake, running verilog on ice40";
|
|
|
|
welcomeText = "mjau 🧊";
|
|
|
|
};
|
2024-03-05 19:09:59 +01:00
|
|
|
templates.julia = {
|
|
|
|
path = ./julia;
|
|
|
|
description = "Minimal julia flake";
|
|
|
|
welcomeText = ":3";
|
|
|
|
};
|
|
|
|
templates.idris2 = {
|
|
|
|
path = ./idris2;
|
|
|
|
description = "Minimal idris2 flake";
|
|
|
|
welcomeText = "mjau :3";
|
|
|
|
};
|
2024-03-13 23:33:31 +01:00
|
|
|
templates.c = {
|
|
|
|
path = ./c;
|
|
|
|
description = "Minimal c flake";
|
|
|
|
welcomeText = "sorry";
|
|
|
|
};
|
2024-04-08 21:06:21 +02:00
|
|
|
templates.ocaml = {
|
|
|
|
path = ./ocaml;
|
|
|
|
description = "Minimal ocaml flake";
|
|
|
|
welcomeText = "bonjour";
|
|
|
|
};
|
2023-10-12 15:15:57 +02:00
|
|
|
};
|
|
|
|
}
|