From 0bfcbeebfbead598854dfb07da592cb9ca986f63 Mon Sep 17 00:00:00 2001 From: Gabriel Simmer Date: Fri, 21 Jul 2023 23:15:14 +0100 Subject: [PATCH] Working out dhall configuration --- dhall/projects.dhall | 110 +++++++++++++++++++++++++++++++++++++++++++ dhall/types.dhall | 18 +++++++ dhall/web-copy.dhall | 26 ++++++++++ 3 files changed, 154 insertions(+) create mode 100644 dhall/projects.dhall create mode 100644 dhall/types.dhall create mode 100644 dhall/web-copy.dhall diff --git a/dhall/projects.dhall b/dhall/projects.dhall new file mode 100644 index 0000000..3a6fdba --- /dev/null +++ b/dhall/projects.dhall @@ -0,0 +1,110 @@ +let types = ./types.dhall + +let Project = types.Project + +let projects : List Project = + [ { name = "Minecraft Server Invites" + , description = "Small service that generates links to Minecraft servers, whitelisting players" + , link = { display_text = "gmem/minecraft-server-invites", link = "https://sr.ht/~gmem/minecraft-server-invites/" } + , languages = [ "Go", "Svelte" ] + } + , { name = "artbybecki.com" + , description = "A website for my significant other to showcase her art work and more." + , link = { display_text = "artbybecki.com", link = "https://artbybecki.com" } + , languages = [ "Svelte", "CouchDB" ] + } + , { name = "nvidia-driver-update-tool" + , description = "Minimal application for checking for NVIDIA GPU driver updates." + , link = { display_text = "gmemstr/nvidia-driver-update-tool", link = "https://github.com/gmemstr/nvidia-driver-update-tool" } + , languages = [ "C#", ".NET" ] + } + , { name = "Platypus" + , description = "Large-scale server usage monitoring leveraging websockets." + , link = { display_text = "gmemstr/platypus", link = "https://github.com/gmemstr/platypus" } + , languages = [ "Go" ] + } + , { name = "pogo" + , description = "Self-hosted podcast content manager and RSS feed generator." + , link = { display_text = "gmemstr/pogo", link = "https://github.com/gmemstr/pogo" } + , languages = [ "Go" ] + } + , { name = "sliproad" + , description = "Tie together file storage providers in a single unified interface and API." + , link = { display_text = "gmemstr/sliproad", link = "https://github.com/gmemstr/sliproad" } + , languages = [ "Go" ] + } + , { name = "Deploy" + , description = "CircleCI mobile client." + , link = { display_text = "gmemstr/deploy-app", link = "https://github.com/gmemstr/deploy-app" } + , languages = [ "Flutter", "Dart" ] + } + , { name = "Database Janitor" + , description = "Create sanitized database dumps." + , link = { display_text = "gmemstr/database-janitor", link = "https://github.com/gmemstr/database-janitor" } + , languages = [ "PHP" ] + } + , { name = "Drupal modules" + , description = "Various Drupal modules created both for client sites and personal use." + , link = { display_text = "/u/gmem", link = "https://www.drupal.org/u/gmem" } + , languages = [ "PHP" ] + } + ] + +let experiments : List Project = + [ { name = "hue-webapp" + , description = "Small web frontend and proxy for interacting with Hue lighting." + , link = { display_text = "gmemstr/hue-webapp", link = "https://github.com/gmemstr/hue-webapp" } + , languages = [ "Python" ] + } + , { name = "eink-dashboard" + , description = "Lightweight eink dashboard/display using a Raspberry Pi." + , link = { display_text = "gmemstr/eink-dashboard", link = "https://github.com/gmemstr/eink-dashboard" } + , languages = [ "Python" ] + } + , { name = "dotfiles" + , description = "Configuration files for Linux installations." + , link = { display_text = "gmemstr/dotfiles", link = "https://github.com/gmemstr/dotfiles" } + , languages = [ "Shell" ] + } + , { name = "REPLNote" + , description = "Notepad with embeded Clojure REPL." + , link = { display_text = "gmemstr/replnote", link = "https://github.com/gmemstr/replnote" } + , languages = [ "Clojure" ] + } + , { name = "banana-clj" + , description = "Encode your data as the word \"banana\"." + , link = { display_text = "gmemstr/banana-clj", link = "https://github.com/gmemstr/banana-clj" } + , languages = [ "Clojure" ] + } + , { name = "whalepod" + , description = "Quicky generate Dockerfiles based on a template." + , link = { display_text = "gmemstr/whalepod", link = "https://github.com/gmemstr/whalepod" } + , languages = [ "Rust" ] + } + , { name = "gmem.ca" + , description = "Random HTML/JS/CSS experiements using Vercel functions." + , link = { display_text = "gmemstr/gmem.ca", link = "https://github.com/gmemstr/gmem.ca" } + , languages = [ "HTML", "JavaScript", "CSS" ] + } + , { name = "circleci-api-scripts" + , description = "Collection of scripts for interacting with the CircleCI APIs and collecting data." + , link = { display_text = "gmemstr/circleci-api-scripts", link = "https://github.com/gmemstr/circleci-api-scripts" } + , languages = [ "Python" ] + } + , { name = "no-swears" + , description = "Small module for removing swear words from strings." + , link = { display_text = "gmemstr/no-swears", link = "https://github.com/gmemstr/no-swears" } + , languages = [ "JavaScript" ] + } + , { name = "GTFO Terminal OCR" + , description = "Analyze terminals from the \"GTFO\" game and extract information." + , link = { display_text = "gmemstr/gtfo-terminal-ocr", link = "https://github.com/gmemstr/gtfo-terminal-ocr" } + , languages = [ "Python" ] + } + ] + + +in + { projects + , experiments + } \ No newline at end of file diff --git a/dhall/types.dhall b/dhall/types.dhall new file mode 100644 index 0000000..fdb8de4 --- /dev/null +++ b/dhall/types.dhall @@ -0,0 +1,18 @@ +let Url : Type = + { display_text : Text + , link : Text + } + + +let Project : Type = + { name : Text + , description : Text + , link : Url + , languages : List Text + } + +in + { Project + , Url + } + \ No newline at end of file diff --git a/dhall/web-copy.dhall b/dhall/web-copy.dhall new file mode 100644 index 0000000..9d450df --- /dev/null +++ b/dhall/web-copy.dhall @@ -0,0 +1,26 @@ +let types = ./types.dhall + +let Url = types.Url + +let subtexts : List Text = + [ "Infrastructure with Love" + , "My fourth Kubernetes cluster" + , "Overengineer my personal site?" + , "Mythical full stack engineer" + ] + +let about : Text = '' +Working as a Senior Platform Engineer in food delivery and logistics. Currently living in the United Kingdom. Working on some cool things for Furality. Playing around with various things in my free time. +'' + +let links : List Url = + [ { display_text = "Fediverse" + , link = "https://floofy.tech/@arch" + } + ] + +in + { about + , subtexts + , links + }