Basic templates so farHEADmaster

21 files changed, 533 insertions, 0 deletions

diff --git a/.envrc b/.envrc
new file mode 100644
index 0000000..a5dbbcb
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use flake .
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..2bbdbfe
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+.direnv
+result
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..6ccb995
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Templates
+
+Various project templates for use with `nix flake init -t git://git.mathematicaster.org/templates#<template>`.
diff --git a/class/.gitignore b/class/.gitignore
new file mode 100644
index 0000000..8c9f564
--- /dev/null
+++ b/class/.gitignore
@@ -0,0 +1,5 @@
+lectures/*.pdf
+result
+.direnv
+.latex-build
+*/.latex-build
diff --git a/class/flake.nix b/class/flake.nix
new file mode 100644
index 0000000..fa9cc16
--- /dev/null
+++ b/class/flake.nix
@@ -0,0 +1,31 @@
+{
+  description = "TeX project";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    latex-utils.url = "github:jmmaloney4/latex-utils";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{ self, flake-parts, ... }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      imports = [ inputs.latex-utils.modules.flake.latex-utils ];
+
+      latex-utils = {
+        enableVSCode = false;
+        extraTexPackages = [ "scheme-full" ];
+      };
+
+      perSystem =
+        { pkgs, config, ... }:
+        {
+
+          devShells.default = pkgs.mkShellNoCC { inputsFrom = [ config.latex-utils.unifiedTexShell ]; };
+
+        };
+    };
+}
diff --git a/flake.lock b/flake.lock
new file mode 100644
index 0000000..df1bfa5
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,111 @@
+{
+  "nodes": {
+    "flake-parts": {
+      "inputs": {
+        "nixpkgs-lib": "nixpkgs-lib"
+      },
+      "locked": {
+        "lastModified": 1769996383,
+        "narHash": "sha256-AnYjnFWgS49RlqX7LrC4uA+sCCDBj0Ry/WOJ5XWAsa0=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "57928607ea566b5db3ad13af0e57e921e6b12381",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1772033997,
+        "narHash": "sha256-Xot3pxYB8kBUc1EQPVgiG+oxF4GdX7xCHVIJyw6iOmw=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "2d2a3ff32c216e3f85934fb9a61b6687828d3493",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "nixpkgs-lib": {
+      "locked": {
+        "lastModified": 1769909678,
+        "narHash": "sha256-cBEymOf4/o3FD5AZnzC3J9hLbiZ+QDT/KDuyHXVJOpM=",
+        "owner": "nix-community",
+        "repo": "nixpkgs.lib",
+        "rev": "72716169fe93074c333e8d0173151350670b824c",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "nixpkgs.lib",
+        "type": "github"
+      }
+    },
+    "nixpkgs_2": {
+      "locked": {
+        "lastModified": 1770107345,
+        "narHash": "sha256-tbS0Ebx2PiA1FRW8mt8oejR0qMXmziJmPaU1d4kYY9g=",
+        "owner": "nixos",
+        "repo": "nixpkgs",
+        "rev": "4533d9293756b63904b7238acb84ac8fe4c8c2c4",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nixos",
+        "ref": "nixpkgs-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "root": {
+      "inputs": {
+        "flake-parts": "flake-parts",
+        "nixpkgs": "nixpkgs",
+        "systems": "systems",
+        "treefmt-nix": "treefmt-nix"
+      }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "treefmt-nix": {
+      "inputs": {
+        "nixpkgs": "nixpkgs_2"
+      },
+      "locked": {
+        "lastModified": 1770228511,
+        "narHash": "sha256-wQ6NJSuFqAEmIg2VMnLdCnUc0b7vslUohqqGGD+Fyxk=",
+        "owner": "numtide",
+        "repo": "treefmt-nix",
+        "rev": "337a4fe074be1042a35086f15481d763b8ddc0e7",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "treefmt-nix",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 0000000..ed95723
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,55 @@
+{
+  description = "Project templates";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    treefmt-nix.url = "github:numtide/treefmt-nix";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{ self, flake-parts, ... }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      imports = [ inputs.treefmt-nix.flakeModule ];
+
+      flake.templates = {
+        class = {
+          description = "Class template";
+          path = ./class;
+        };
+        paper = {
+          description = "TeX paper template";
+          path = ./paper;
+        };
+        tex = {
+          description = "Generic TeX projects";
+          path = ./tex;
+        };
+      };
+
+      perSystem =
+        { config, pkgs, ... }:
+        {
+          treefmt = {
+            programs = {
+              nixfmt = {
+                enable = true;
+                strict = true;
+              };
+            };
+          };
+
+          devShells.default = pkgs.mkShellNoCC {
+            inputsFrom = [ config.treefmt.build.devShell ];
+            nativeBuildInputs = with pkgs; [
+              nixd
+              deadnix
+            ];
+          };
+
+        };
+    };
+}
diff --git a/haskell/.envrc b/haskell/.envrc
new file mode 100644
index 0000000..a5dbbcb
--- /dev/null
+++ b/haskell/.envrc
@@ -0,0 +1 @@
+use flake .
diff --git a/haskell/app/Main.hs b/haskell/app/Main.hs
new file mode 100644
index 0000000..571a6f1
--- /dev/null
+++ b/haskell/app/Main.hs
@@ -0,0 +1,6 @@
+module Main
+  ( main
+  ) where
+
+main :: IO ()
+main = undefined
diff --git a/haskell/flake.nix b/haskell/flake.nix
new file mode 100644
index 0000000..a637cde
--- /dev/null
+++ b/haskell/flake.nix
@@ -0,0 +1,74 @@
+{
+  description = "Haskell project";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    nix-filter.url = "github:numtide/nix-filter";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{
+      self,
+      flake-parts,
+      nixpkgs,
+      nix-filter,
+      ...
+    }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      flake.overlays.default = final: prev: {
+        haskellPackages = prev.haskellPackages.extend (
+          hfinal: _hprev: {
+            PROJECT =
+              let
+                src = nix-filter {
+                  root = ./.;
+                  include = [
+                    "src"
+                    "app"
+                    "package.yaml"
+                    "PROJECT.cabal"
+                  ];
+                };
+              in
+              hfinal.callCabal2nix "PROJECT" src { };
+          }
+        );
+      };
+
+      perSystem =
+        {
+          config,
+          pkgs,
+          system,
+          ...
+        }:
+        {
+          _module.args.pkkgs = import nixpkgs {
+            inherit system;
+            overlays = [ self.overlays.default ];
+          };
+
+          packages = rec {
+            default = PROJECT;
+            inherit (pkgs.haskellPackages) PROJECT;
+          };
+
+          devShells.default = pkgs.haskellPackages.shellFor {
+            packages = ps: [ ];
+            withHoogle = true;
+            buildInputs = with pkgs.haskellPackages; [
+              cabal-install
+              hpack
+              hlint
+              fast-tags
+              pkgs.haskell-language-server
+            ];
+          };
+
+        };
+    };
+}
diff --git a/haskell/package.yaml b/haskell/package.yaml
new file mode 100644
index 0000000..878a29b
--- /dev/null
+++ b/haskell/package.yaml
@@ -0,0 +1,54 @@
+name:     PROJECT
+version:  0.1.0.0
+license:  MIT
+author:   Chris Wells
+maintainer: "chris@mathematicaster.org"
+copyright:  "2026 Chris Wells"
+
+dependencies:
+  - base >= 4.7 && < 5
+
+language: GHC2021
+
+ghc-options:
+  - -Wall
+  - -Wcompat
+  - -Widentities
+  - -Wincomplete-record-updates
+  - -Wincomplete-uni-patterns
+  - -Wmissing-home-modules
+  - -Wpartial-fields
+  - -Wredundant-constraints
+
+default-extensions:
+  - BangPatterns
+  - DeriveGeneric
+  - DeriveLift
+  - DerivingStrategies
+  - DerivingVia
+  - DefaultSignatures
+  - FunctionalDependencies
+  - GADTs
+  - LambdaCse
+  - MultiWayIf
+  - OverloadedStrings
+  - PatternSynonyms
+  - RecordWildCards
+  - TypeFamilies
+  - UndecidableInstances
+  - ViewPatterns
+
+library:
+  source-dirs: src
+  dependencies:
+    - mtl
+
+executables:
+  PROJECT:
+    main: Main.hs
+    source-dirs: app
+    ghc-otpions:
+      - -threaded
+      - -O2
+    dependencies:
+      - PROJECT
diff --git a/haskell/src/Prolog.hs b/haskell/src/Prolog.hs
new file mode 100644
index 0000000..b435c5a
--- /dev/null
+++ b/haskell/src/Prolog.hs
@@ -0,0 +1,54 @@
+module Prolog
+  (
+  -- * Modules
+    module Control.Applicative
+  , module Control.Monad
+  , module Control.Monad.Identity
+  , module Control.Monad.IO.Class
+  , module Data.Bool
+  , module Data.Either
+  , module Data.Function
+  , module Data.Functor
+  , module Data.Maybe
+  -- * Types
+  , Generic
+  , Generic1
+  , Typeable
+  , Generically (..)
+  , IsString (..)
+  -- * Functions
+  , ffmap
+  , (<<$>>)
+  , (<<&>>)
+  ) where
+
+import Control.Applicative
+import Control.Monad
+import Control.Monad.Identity
+import Control.Monad.IO.Class
+import Data.Bool
+import Data.Either
+import Data.Function
+import Data.Functor
+import Data.Maybe
+import Data.Typeable (Typeable)
+import Data.String (IsString (..))
+import GHC.Generics
+
+
+-- | 'fmap' over nested functors
+ffmap :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b)
+ffmap = fmap fmap fmap
+{-# INLINE ffmap #-}
+
+-- | infix version of 'fmap'
+(<<$>>) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b)
+infixl 4 <<$>>
+(<<$>>) = ffmap
+{-# INLINE (<<$>>) #-}
+
+-- | flipped '(<<$>>)'
+(<<&>>) :: (Functor f, Functor g) => f (g a) -> (a -> b) -> f (g b)
+infixl 1 <<&>>
+(<<&>>) = flip (<<$>>)
+{-# INLINE (<<&>>) #-}
diff --git a/paper/.envrc b/paper/.envrc
new file mode 100644
index 0000000..a5dbbcb
--- /dev/null
+++ b/paper/.envrc
@@ -0,0 +1 @@
+use flake .
diff --git a/paper/.gitignore b/paper/.gitignore
new file mode 100644
index 0000000..3a2e38f
--- /dev/null
+++ b/paper/.gitignore
@@ -0,0 +1,3 @@
+.latex-build
+.direnv
+result
diff --git a/paper/flake.nix b/paper/flake.nix
new file mode 100644
index 0000000..db9d50f
--- /dev/null
+++ b/paper/flake.nix
@@ -0,0 +1,44 @@
+{
+  description = "TeX paper";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    latex-utils.url = "github:jmmaloney4/latex-utils";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{
+      self,
+      flake-parts,
+      latex-utils,
+      ...
+    }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      imports = [ latex-utils.modules.flake.latex-utils ];
+
+      latex-utils = {
+        enableVSCode = false;
+        documents = [
+          {
+            name = "main.pdf";
+            src = ./.;
+            extraTexPackages = [ ];
+          }
+        ];
+      };
+
+      perSystem =
+        { config, pkgs, ... }:
+        {
+          devShells.default = pkgs.mkShellNoCC {
+            inputsFrom = [ config.latex-utils.unifiedTexShell ];
+            nativeBuildInputs = [ ];
+          };
+        };
+
+    };
+}
diff --git a/slides/.envrc b/slides/.envrc
new file mode 100644
index 0000000..a5dbbcb
--- /dev/null
+++ b/slides/.envrc
@@ -0,0 +1 @@
+use flake .
diff --git a/slides/.gitignore b/slides/.gitignore
new file mode 100644
index 0000000..3a2e38f
--- /dev/null
+++ b/slides/.gitignore
@@ -0,0 +1,3 @@
+.latex-build
+.direnv
+result
diff --git a/slides/flake.nix b/slides/flake.nix
new file mode 100644
index 0000000..f96e412
--- /dev/null
+++ b/slides/flake.nix
@@ -0,0 +1,47 @@
+{
+  description = "TeX paper";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    latex-utils.url = "github:jmmaloney4/latex-utils";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{
+      self,
+      nixpkgs,
+      flake-parts,
+      latex-utils,
+      ...
+    }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      imports = [ latex-utils.modules.flake.latex-utils ];
+
+      latex-utils = {
+        enableVSCode = false;
+        documents = [
+          {
+            name = "slides.pdf";
+            src = ./.;
+            extraTexPackages = [ "beamer" ];
+          }
+        ];
+      };
+
+      perSystem =
+        { config, pkgs, ... }:
+        {
+
+          devShells.default = pkgs.mkShellNoCC {
+            inputsFrom = [ config.latex-utils.unifiedTexShell ];
+            nativeBuildInputs = [ ];
+          };
+
+        };
+
+    };
+}
diff --git a/tex/.envrc b/tex/.envrc
new file mode 100644
index 0000000..a5dbbcb
--- /dev/null
+++ b/tex/.envrc
@@ -0,0 +1 @@
+use flake .
diff --git a/tex/.gitignore b/tex/.gitignore
new file mode 100644
index 0000000..f8a9891
--- /dev/null
+++ b/tex/.gitignore
@@ -0,0 +1,2 @@
+.latex-build
+.direnv
diff --git a/tex/flake.nix b/tex/flake.nix
new file mode 100644
index 0000000..c5d9ed9
--- /dev/null
+++ b/tex/flake.nix
@@ -0,0 +1,34 @@
+{
+  description = "TeX project";
+
+  inputs = {
+    nixpkgs.url = "github:nixos/nixpkgs";
+    flake-parts.url = "github:hercules-ci/flake-parts";
+    latex-utils.url = "github:jmmaloney4/latex-utils";
+    systems.url = "github:nix-systems/default";
+  };
+
+  outputs =
+    inputs@{ self, flake-parts, ... }:
+    flake-parts.lib.mkFlake { inherit self inputs; } {
+      systems = import inputs.systems;
+
+      imports = [ inputs.latex-utils.modules.flake.latex-utils ];
+
+      latex-utils = {
+        enableVSCode = false;
+        extraTexPackages = [ "scheme-full" ];
+      };
+
+      perSystem =
+        { pkgs, config, ... }:
+        {
+
+          devShells.default = pkgs.mkShellNoCC {
+            inputsFrom = [ config.latex-utils.unifiedTexShell ];
+            nativeBuildInputs = [ ];
+          };
+
+        };
+    };
+}