Pinned Loading

1. oxidizing/sihl oxidizing/sihl Public

   A modular functional web framework

   OCaml 361 13

2. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 289

3. lean-rsa lean-rsa Public

   A Proof of RSA Encryption using Lean

   Lean 5 2

4. SKIcalculus SKIcalculus Public

   Playground for SKI combinator calculus

   Haskell 3

5. chessdogs chessdogs Public

   Tampermonkey script to replace kings with dogs on chess.com

6. lean4-playground lean4-playground Public

   Lean