Smaug123

@G-Research London

Pinned Repositories

agdaproofs
Mathematical proofs in Agda
Language:Agda4 3 131
ClassicalCiphers.jl
Julia classical ciphers suite
Language:Julia9 3 114
CubicalTutorial
Tutorial for Cubical mode in Agda
Language:Agda30
FicroKanSharp
A microKanren implementation in F#
Language:F#5 3 01
fsharp-vectors
Type-safe vectors in F#
Language:F#5 4 00
gitea-repo-config
A tool to reconcile a Gitea server with a declarative configuration
Language:F#3 3 10
talks
Talks I have given
Language:TeX1 2 01
WoofWare.DotnetRuntimeLocator
Helpers so you can find available .NET runtimes and such
Language:C#1 1 20
WoofWare.Myriad
Some Myriad source generators for F#
Language:F#7 2 520
WoofWare.PrattParser
Pratt parser in F#
Language:F#00

Smaug123's Repositories

Smaug123/WoofWare.Myriad
Some Myriad source generators for F#
Language:F#7 2 520
Smaug123/gitea-repo-config
A tool to reconcile a Gitea server with a declarative configuration
Language:F#3 3 10
Smaug123/nix-dotfiles
Dotfiles for my Nix setup
Language:Lua2 3 40
Smaug123/AdventOfCode2022
Advent of Code 2022, in F#
Language:F#1 2 0
Smaug123/PulumiConfig
Pulumi configuration defining my infrastructure
Language:Nix1
Smaug123/ray-tracing-fsharp
Ray Tracing In One Weekend, in F#
Language:F#1 3 00
Smaug123/WoofWare.DotnetRuntimeLocator
Helpers so you can find available .NET runtimes and such
Language:C#1 1 20
Smaug123/WoofWare.PrattParser
Pratt parser in F#
Language:F#00
Smaug123/all-required-checks-complete-action
A GitHub Action which checks if the given steps have completed successfully.
Language:TypeScript
Smaug123/aspnetcore
ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.
Smaug123/AttestationIntegrity
Check the integrity of binary artifacts and their attestations
Language:F#
Smaug123/dmarc-fsharp
DMARC report parser library for F#
Language:F#
Smaug123/docs
This repository contains .NET Documentation.
Language:Dockerfile1 0
Smaug123/dotnet-classical-ciphers
A partial .NET port of an *ancient* collection of scripts for solving classical ciphers
Language:F#
Smaug123/dotnet-pdb-analysis
Tools for examining and validating a .NET DLL
Language:F#
Smaug123/FsAutoComplete
F# language server using Language Server Protocol
Smaug123/gr-common-actions
Collection of common GitHub Actions workflows/actions used in our repositories
Smaug123/lean4-batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Smaug123/little_learner
The Little Learner, in Rust
Language:Rust2 0
Smaug123/myriad
Myriad is a code generator for F#
Language:F#
Smaug123/mystery-hunt-2023-reactivation
Solution to part of the MIT Mystery Hunt 2023 puzzle "Reactivation"
Language:F#2 0
Smaug123/nix-templates
Flake templates
Language:Nix1 0
Smaug123/nixpkgs
Nix Packages collection
Language:Nix2 0
Smaug123/performance_aware_programming
Coursework for https://www.computerenhance.com
Language:Rust2 0
Smaug123/proj-info
Parse and evaluate MsBuild project files
Smaug123/publish-nuget-action
NuGet package publish pipeline
Language:Shell
Smaug123/static-site-pdfs
Example repository containing PDF content for my static site generator
Language:TeX
Smaug123/static-site-pipeline
Build pipeline for a Hugo static site
Language:Mathematica3 0
Smaug123/test-repo
New repo who dis
Language:F#
Smaug123/unofficial-nunit-runner
A console runner for NUnit tests
Language:F#1