Pinned Repositories
probability.sty
Probability macro package for latex
advent-of-code
R solutions to the advent of code puzzles (https://adventofcode.com/)
BackToSchool2
CalCAT
California COVID Assessment Tool
COVIDScenarioPipeline
Public shared code for doing scenario forecasting and creating reports for various governmental entities.
gaussian-composites
Functions for distributions which are Gaussian mixtures or quantile interpolations
jemdoc_mathjax
jemdoc with MathJax support and more.
jhu_process_model
Repo for running the JHU model process on AWS
lean-harmonic
Work toward classical solutions of the Laplace equation, and properties of harmonic functions
metaculus
Some handy functions for downloading metaculus forecasts in R
mccorvie's Repositories
mccorvie/advent-of-code
R solutions to the advent of code puzzles (https://adventofcode.com/)
mccorvie/lean-harmonic
Work toward classical solutions of the Laplace equation, and properties of harmonic functions
mccorvie/tpil4
Exercises for Theorem Proving in Lean 4
mccorvie/gaussian-composites
Functions for distributions which are Gaussian mixtures or quantile interpolations
mccorvie/metaculus
Some handy functions for downloading metaculus forecasts in R
mccorvie/supremes
supreme court confirmation probability simulation
mccorvie/wordle-entropy-solver
mccorvie/SciLean
Framework for scientific computing written in Lean
mccorvie/BackToSchool2
mccorvie/jhu_process_model
Repo for running the JHU model process on AWS
mccorvie/Vaccine-Tracker
Pulling CDC data on state vaccination progress
mccorvie/jemdoc_mathjax
jemdoc with MathJax support and more.
mccorvie/COVIDScenarioPipeline
Public shared code for doing scenario forecasting and creating reports for various governmental entities.
mccorvie/CalCAT
California COVID Assessment Tool
mccorvie/stockoption-report
Simple reports to show the financial exposures of a portfolio of stock options
mccorvie/probability.sty
Probability macro package for latex