Discover @Smaug123 Open Source projects

Patrick Stevens (@Smaug123)

Smaug123

Stars
51
Global Rank 336,599 (Top 12 %)
Followers 41
Following 14
Registered almost 12 years ago
Most used languages

F#
45.0 %

Mathematica 10.0 %

Nix
10.0 %

Agda 10.0 %

Lua
5.0 %

C#
5.0 %

TeX
5.0 %

Julia
5.0 %

Shell
5.0 %
Location 🇬🇧 United Kingdom
Country Total Rank 167,370
Country Ranking

Agda 23

F#
52

Mathematica 65

Julia
91

Nix
100

Lua
894

TeX
1,437

C#
6,142

Shell
6,788

ClassicalCiphers.jl

Julia classical ciphers suite

fsharp-vectors

Type-safe vectors in F#

FicroKanSharp

A microKanren implementation in F#

WoofWare.Myriad

Some Myriad source generators for F#

agdaproofs

Mathematical proofs in Agda

gitea-repo-config

A tool to reconcile a Gitea server with a declarative configuration

managed-git

A managed implementation of Git

CubicalTutorial

Tutorial for Cubical mode in Agda

nix-dotfiles

Dotfiles for my Nix setup

nix-maui

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

mysteryhunt2019

raft-fable

fsharp-quine

advent-of-code-2023

Advent of Code 2023

PulumiConfig

Pulumi configuration defining my infrastructure

fsharp-red-black-tree

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

rewriting-technical-mathematica

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

talks

Talks I have given

WoofWare.DotnetRuntimeLocator

Helpers so you can find available .NET runtimes and such

ray-tracing-fsharp

Ray Tracing In One Weekend, in F#