Pinned Loading

1. Pagination Pagination Public

   Forked from relaxdays/Http.Pagination

   A .NET library to work with paginated resources.

   C#

2. KicktippAi KicktippAi Public

   An AI that plays kicktipp

   C# 1

3. relaxdays/TestUtilities.Scenarios relaxdays/TestUtilities.Scenarios Public

   A wrapper type to produce more readable test output

   C# 1

4. TheoremsAboutAlgorithms TheoremsAboutAlgorithms Public

   A bunch of theorems about algorithms, written in lean 4

   Lean 2

5. cyp cyp Public

   Forked from dtraytel/cyp

   Checker for "morally correct" induction proofs about haskell programs

   Haskell

6. dub_machine dub_machine Public

   A Dub Machine in csound-expression

   Haskell 1