Ian's repositories
CoderCalendar-Extensions
Browser extensions for competitive programming enthusiasts
usaco-guide
A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Apache-2.0000
reaction-network
Reaction Network is a Python package for predicting likely inorganic chemical reaction pathways using graph theoretical methods. Project led by @mattmcdermott (Lawrence Berkeley National Lab).
Language:PythonNOASSERTION000