patrick

ray-tracing-fsharp

F# 0 0

Ray Tracing In One Weekend, in F#

Updated 2024-12-24 20:29:10 +00:00

website-lint

F# 0 0

A little tool to lint a static site

Updated 2024-07-14 11:22:14 +00:00

FicroKanSharp

F# 0 0

A microKanren implementation in F#

Updated 2024-05-31 09:14:48 +00:00

woofworkflows-poc

F# 0 0

Nothing to see here

Updated 2023-12-22 12:38:46 +00:00

http-from-scratch

F# 0 0

Me working out how HTTP works, from scratch

Updated 2023-11-30 00:09:34 +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

AdventOfCode2021

F# 0 0

Advent of Code 2021, in F#

Updated 2021-12-07 08:49:48 +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

fsharp-prefix-form

F# 0 0

Parse and evaluate expressions in prefix-form (basically Polish notation)

Updated 2021-02-17 12:53:27 +00:00

adventofcode2019

F# 0 0

Advent of Code 2019, in F#

Updated 2020-12-28 18:25:08 +00:00

adventofcode2020

F# 0 0

Advent of Code 2020, in F# and Mathematica

Updated 2020-12-25 20:41:03 +00:00

fsharp-red-black-tree

F# 0 0

A toy red-black tree, aiming to be as correct as possible by construction

Updated 2020-11-03 17:51:24 +00:00

agda-utils

F# 0 0

Manipulations of Agda files

Updated 2020-01-04 21:33:26 +00:00