Hazel-Brown

Pinned Repositories

lean4
Lean 4 programming language and theorem prover
Language:Lean00
On-The-Clock
00
PHS-Smash-Stuff
00
PubChemCrawler.jl
Utilities to programmatically query the PubChem database
Language:Julia00
InfiniteRecharge-2021
Language:Kotlin0 5 00
ScoutsBSA
Language:Python01
Clocked-in-2020
00

Hazel-Brown's Repositories

Hazel-Brown/lean4
Lean 4 programming language and theorem prover
Language:Lean00
Hazel-Brown/On-The-Clock
00
Hazel-Brown/PHS-Smash-Stuff
00
Hazel-Brown/PubChemCrawler.jl
Utilities to programmatically query the PubChem database
Language:Julia00