Pinned Loading

1. lean-scribe lean-scribe Public

   Render and run context-rich Lean 4 prompts in VS Code.

   TypeScript 4

2. leanclient leanclient Public

   Python client to interact with the lean4 language server.

   Python 4

3. pynanite pynanite Public

   Automatic mesh LODs in Python

   Python

4. winerymap winerymap Public

   Map showing 34k wineries from all over the world.

   JavaScript 2

5. leanstructure leanstructure Public

   Visualize dependencies of lean4 proofs

   Svelte 1

6. personalpage personalpage Public

   TypeScript