From 6236c49faf5930b134e717e91434453cd5dcfdbd Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Sat, 6 Apr 2024 13:40:56 +0200
Subject: [PATCH] Add projects

---
 content/_index.md                   |  2 ++
 content/project/algprog/index.md    | 22 ++++++++++++++++++++++
 content/project/ba/index.md         |  2 +-
 content/project/lambda/index.md     | 20 ++++++++++++++++++++
 content/project/nixos/index.md      | 20 ++++++++++++++++++++
 content/project/pcf/index.md        | 20 ++++++++++++++++++++
 content/project/resolution/index.md | 20 ++++++++++++++++++++
 7 files changed, 105 insertions(+), 1 deletion(-)
 create mode 100644 content/project/algprog/index.md
 create mode 100644 content/project/lambda/index.md
 create mode 100644 content/project/nixos/index.md
 create mode 100644 content/project/pcf/index.md
 create mode 100644 content/project/resolution/index.md

diff --git a/content/_index.md b/content/_index.md
index 3369f9e..41adeb4 100644
--- a/content/_index.md
+++ b/content/_index.md
@@ -44,6 +44,8 @@ sections:
           tag: Haskell
         - name: Programming Languages
           tag: Programming Languages
+        - name: Nix
+          tag: Nix
     design:
       # Choose how many columns the section has. Valid values: '1' or '2'.
       columns: '1'
diff --git a/content/project/algprog/index.md b/content/project/algprog/index.md
new file mode 100644
index 0000000..6376325
--- /dev/null
+++ b/content/project/algprog/index.md
@@ -0,0 +1,22 @@
+---
+title: 'Summary of "Algebra of Programming"'
+summary: 'A student summary of the course "Algebra of Programming" that was taught in the winter semester 23/24'
+tags:
+  - Category Theory
+  - Programming Languages
+date: '2024-04-05'
+
+# Optional external URL for project (replaces project detail page).
+external_link: 'https://git.vatthauer.xyz/CategoryTheory/algprog'
+
+links:
+# TODO PDF when finished
+  - icon: git-alt
+    icon_pack: fab
+    name: Repo
+    url: https://git.vatthauer.xyz/CategoryTheory/algprog
+url_code: ''
+url_pdf: ''
+url_slides: ''
+url_video: ''
+---
diff --git a/content/project/ba/index.md b/content/project/ba/index.md
index 7ce11fc..c077207 100644
--- a/content/project/ba/index.md
+++ b/content/project/ba/index.md
@@ -7,7 +7,7 @@ tags:
   - Partiality
   - Category Theory
   - Programming Languages
-date: '2016-04-27T00:00:00Z'
+date: '2024-03-21'
 
 # Optional external URL for project (replaces project detail page).
 external_link: 'https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main'
diff --git a/content/project/lambda/index.md b/content/project/lambda/index.md
new file mode 100644
index 0000000..7fb4992
--- /dev/null
+++ b/content/project/lambda/index.md
@@ -0,0 +1,20 @@
+---
+title: 'Lambda Calculus Interpreter'
+summary: 'A small interpreter for the untyped lambda calculus.'
+tags:
+  - Haskell
+date: '2024-04-05'
+
+# Optional external URL for project (replaces project detail page).
+external_link: 'https://git.vatthauer.xyz/TypeTheory/lambda'
+
+links:
+  - icon: git-alt
+    icon_pack: fab
+    name: Repo
+    url: https://git.vatthauer.xyz/TypeTheory/lambda
+url_code: ''
+url_pdf: ''
+url_slides: ''
+url_video: ''
+---
diff --git a/content/project/nixos/index.md b/content/project/nixos/index.md
new file mode 100644
index 0000000..644c492
--- /dev/null
+++ b/content/project/nixos/index.md
@@ -0,0 +1,20 @@
+---
+title: 'NixOS Configuration'
+summary: 'The configuration files (without secrets) for my home setups'
+tags:
+  - Nix
+date: '2024-04-05'
+
+# Optional external URL for project (replaces project detail page).
+external_link: 'https://git.vatthauer.xyz/leonv/nixos'
+
+links:
+  - icon: git-alt
+    icon_pack: fab
+    name: Repo
+    url: https://git.vatthauer.xyz/leonv/nixos
+url_code: ''
+url_pdf: ''
+url_slides: ''
+url_video: ''
+---
diff --git a/content/project/pcf/index.md b/content/project/pcf/index.md
new file mode 100644
index 0000000..60afdce
--- /dev/null
+++ b/content/project/pcf/index.md
@@ -0,0 +1,20 @@
+---
+title: 'PCF Interpreter and Typechecker'
+summary: 'A small interpreter and typechecker for [PCF](https://en.wikipedia.org/wiki/Programming_Computable_Functions) (Programming Computable Functions)'
+tags:
+  - Haskell
+date: '2024-04-05'
+
+# Optional external URL for project (replaces project detail page).
+external_link: https://git.vatthauer.xyz/TypeTheory/PCF
+
+links:
+  - icon: git-alt
+    icon_pack: fab
+    name: Repo
+    url: https://git.vatthauer.xyz/TypeTheory/PCF
+url_code: ''
+url_pdf: ''
+url_slides: ''
+url_video: ''
+---
diff --git a/content/project/resolution/index.md b/content/project/resolution/index.md
new file mode 100644
index 0000000..44256fb
--- /dev/null
+++ b/content/project/resolution/index.md
@@ -0,0 +1,20 @@
+---
+title: 'Resolution Algorithm for FOL'
+summary: 'An implementation of a resolution algorithm for first-order logic.'
+tags:
+  - Haskell
+date: '2024-04-05'
+
+# Optional external URL for project (replaces project detail page).
+external_link: 'https://git.vatthauer.xyz/TypeTheory/resolution'
+
+links:
+  - icon: git-alt
+    icon_pack: fab
+    name: Repo
+    url: https://git.vatthauer.xyz/TypeTheory/resolution
+url_code: ''
+url_pdf: ''
+url_slides: ''
+url_video: ''
+---