Pinned Loading

1. lean-mt lean-mt Public

   Lean4-Framework to reason about multithreaded algorithms

   Lean 1

2. chess-trainer chess-trainer Public

   Very simple chess opening trainer (currently only stafford gambit)

   Rust

3. deploy deploy Public

   Lightweight tool for simple deployment (server+client)

   Rust 1 3