Add projects

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'

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: ''
+---

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'

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: ''
+---

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: ''
+---

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: ''
+---

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: ''
+---