Patrick Stevens

WoofWare.Myriad. Some Myriad source generators for F#

WoofWare.Incremental. An F# port of Jane Street's `incremental`.

WoofWare.Zoomies. An F# immediate-mode TUI library inspired by Jane Street's Bonsai

ClassicalCiphers.jl. Julia classical ciphers suite

WoofWare.PawPrint. An *extremely WIP* implementation of a .NET runtime.

WoofWare.Whippet. Source generator framework for F#

FicroKanSharp. A microKanren implementation in F#

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

fsharp-vectors. Type-safe vectors in F#

agdaproofs. Mathematical proofs in Agda

CubicalTutorial. Tutorial for Cubical mode in Agda

managed-git. A managed implementation of Git

gitea-repo-config. A tool to reconcile a Gitea server with a declarative configuration

WoofWare.PrattParser. Pratt parser in F#

nix-dotfiles. Dotfiles for my Nix setup

talks. Talks I have given

WoofWare.FSharpAnalyzers. A grab-bag of Ionide SDK analyzers for F#. Intended for personal use, but I guess you might find them useful too.

rewriting-technical-mathematica. Rewriting the Technical Interview (https://aphyr.com/posts/353-rewriting-the-technical-interview), in Mathematica

WoofWare.Expect. An expect testing framework for F#.

fsharp-quine. Baby F# quine.

WoofWare.DotnetRuntimeLocator. Helpers so you can find available .NET runtimes and such

advent-of-code-2023. Advent of Code 2023

raft-fable. F#

PulumiConfig. Pulumi configuration defining my infrastructure

leetcode-idris. Idris

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

ray-tracing-fsharp. Ray Tracing In One Weekend, in F#

mysteryhunt2019. Mathematica