Pinned Loading

1. relaxdays/TestUtilities.Scenarios relaxdays/TestUtilities.Scenarios Public

   A wrapper type to produce more readable test output

   C# 1

2. relaxdays/Http.Pagination relaxdays/Http.Pagination Public

   Utilities to work with paginated responses via the dotnet `HttpClient`

   C#

3. cyp cyp Public

   Forked from dtraytel/cyp

   Checker for "morally correct" induction proofs about haskell programs

   Haskell

4. TheoremsAboutAlgorithms TheoremsAboutAlgorithms Public

   A bunch of theorems about algorithms, written in lean 4

   Lean 2

5. Hittps Hittps Public

   Experiments with self signed certificates for use in docker networks

   Shell

6. dub_machine dub_machine Public

   A Dub Machine in csound-expression

   Haskell 1