patrick

anki-decks

Nix 0 0

Some Anki decks I have made

Updated 2023-09-29 23:48:28 +00:00

managed-git

F# 0 0

A managed implementation of Git

Updated 2023-09-02 20:48:31 +00:00

fsharp-vectors

F# 0 0

Type-safe vectors in F#

Updated 2023-09-02 19:37:02 +00:00

nix-maui

Nix 0 0

A hacked-up Nix flake defining a dotnet-plus-MAUI workload

Updated 2023-01-26 23:08:05 +00:00

advent-of-code-2021

Mathematica 0 0

Advent of Code 2021 answers, in at least Rust

Updated 2023-01-22 01:12:34 +00:00

poetry-to-nix-repro

Nix 0 0

Repro for an issue with poetry2nix (https://github.com/nix-community/poetry2nix/issues/708)

Updated 2022-09-07 18:52:02 +00:00

static-site-images

0 0

Example repository containing image content for my static site generator pipeline.

Updated 2022-01-29 20:06:28 +00:00

static-site-metadata

Text 0 0

Example repository containing metadata for a site built with my static site generator

Updated 2022-01-29 20:06:06 +00:00

AdventOfCode2021

F# 0 0

Advent of Code 2021, in F#

Updated 2021-12-07 08:49:48 +00:00

advent-of-code-2017

Rust 0 0

Solutions to the 2017 Advent of Code (https://adventofcode.com/2017/), in Rust.

Updated 2021-12-05 19:16:43 +00:00

agdaproofs

Agda 0 0

Mathematical proofs in Agda

Updated 2021-11-08 23:10:40 +00:00

ClassicalCiphers.jl

Julia 0 0

Julia classical ciphers suite

Updated 2021-05-03 07:03:43 +00:00

project-euler-rust

Rust 0 0

Rust implementations of Project Euler solutions

Updated 2021-02-24 17:51:50 +00:00

MysteryHunt2019

Mathematica 0 0

Artefacts created during the 2019 MIT Mystery Hunt

Updated 2021-02-22 22:18:36 +00:00

pulsing-server

F# 0 0

A toy example server designed to provide low-latency views of external data

Updated 2021-02-17 19:21:36 +00:00