Patrick Stevens
Smaug123
Languages
Repos
137
Stars
50
Forks
5
Top Language
F#
Loading contributions...
Top Repositories
Some Myriad source generators for F#
An F# port of Jane Street's `incremental`.
A hacked-up Nix flake defining a dotnet-plus-MAUI workload
A tool to reconcile a Gitea server with a declarative configuration
Pratt parser in F#
A grab-bag of Ionide SDK analyzers for F#. Intended for personal use, but I guess you might find them useful too.
Repositories
137You're on a train. Where do you go?
Dashboard for https://github.com/Smaug123/robocop
Code review bot
Pulumi configuration defining my infrastructure
Build pipeline for a Hugo static site
A tool to reconcile a Gitea server with a declarative configuration
Helpers so you can find available .NET runtimes and such
Some Myriad source generators for F#
Pratt parser in F#
Tools for examining and validating a .NET DLL
Advent of Code 2024
A console runner for NUnit tests
No description provided.
A grab-bag of Ionide SDK analyzers for F#. Intended for personal use, but I guess you might find them useful too.
An *extremely WIP* implementation of a .NET runtime.
F# tools for generating documentation (Markdown processor and F# code formatter)
Documents for helping software agents
A lightweight merge train implementation for a squash-merge-to-main world.
An expect testing framework for F#.
No description provided.
This repo is my first attempt to 100% vibe code a formal proof development. It is a failure. Make of it what you will
Vibecoded proof of the Fisher-Lynch-Paterson theorem
A hacked-up Nix flake defining a dotnet-plus-MAUI workload
An F# port of Jane Street's `incremental`.
An F# port of Jane Street's `core_kernel/timing_wheel`.
Dotfiles for my Nix setup
No description provided.
Continuously review all your codebases
An F# port of Jane Street's `core_kernel/balanced_reducer`.
An F# port of Jane Street's `core_kernel/weak_hashtbl`.