Shrys's repositories
DGAlgorithms
Distributed Graph Algorithms in Lean
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language:LeanApache-2.0000
book
The Rust Programming Language
Language:RustNOASSERTION000
coala
Easy to use code analysis framework/application - yes! For all languages!
Language:PythonAGPL-3.0000
coala-bears
Bears for coala
Language:PythonAGPL-3.0000
Language:Lean000
Eventloop
An amateurish attempt to revive an old hobby
Language:C000
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
Language:LeanApache-2.0000
Language:HaskellBSD-3-Clause000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSSMIT000
000
quote4
Intuitive, type-safe expression quotations for Lean 4.
Language:LeanApache-2.0000
SciLean
Scientific computing in Lean 4
Language:LeanApache-2.0000
Shreyas4991.github.io
The source for my static website and blog
Language:CSS000
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Apache-2.0000