Shrys's repositories
DGAlgorithms
Distributed Graph Algorithms in Lean
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
book
The Rust Programming Language
coala
Easy to use code analysis framework/application - yes! For all languages!
coala-bears
Bears for coala
How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
markdown-preview-plus
Markdown Preview + Community Features
mathlib4
Work in progress mathlib port for lean 4
flypitch
A formal proof of the independence of the continuum hypothesis
lean4
Lean 4 programming language and theorem prover
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
quote4
Intuitive, type-safe expression quotations for Lean 4.
SciLean
Scientific computing in Lean 4
Shreyas4991.github.io
The source for my static website and blog
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant