bocowgill-collaborations

Popular repositories Loading

1. BLS-Data-Projects BLS-Data-Projects Public

   Some code for importing/analyzing Bureau of Labor Statistics Data

   Shell 1

2. ResearchMethods-Repository ResearchMethods-Repository Public

   Stata 1 10

3. catch-up-research catch-up-research Public

   Catch-Up conjecture research: verified Lean results, computations, and the Catch-Up cryptid.

   Lean

4. org-models-lean org-models-lean Public

   Lean