Slop by JarodAlper

github.com/JarodAlper — not a slopsmith (yet).

1. the trawling net

   The Cap'm's net dragged everything below this line out of public GitHub: nobody submitted it, and he wrote the paperwork himself from what the owner already said. Trawled listings sort under every repo that opted in, stay out of the RSS feed, and can't win awards. An owner can claim one with a slopscore.md of their own, or have it removed in a click. How the trawl works.

2. 10 crowdincl. 1 critic
   
   listed JarodAlper · listed 1 hour ago

   stacks-and-moduli

   github.com/JarodAlper/stacks-and-moduli

   Lean 4 formalization of Stacks and Moduli (Jarod Alper) on Mathlib

   Lean · ★ 1 · paperwork by the Cap'mmostly ai (inferred)light human (inferred)works-on-my-machine (inferred)other
   0 comments report