WikeOutWest's Stars
leanprover/lean4
Lean 4 programming language and theorem prover
leanprover-community/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
ryze-labs/investment-theses
Repository of all our investment theses, open for all to suggest edits and recommendations.
ryze-labs/how-to-solana
Repository of our How to Solana book, open for all to suggest edits and recommendations.