LeanEconomics
github.com/LeanEconomics/Lea…
Current: prove existence of stationary general eqm for Aiyagari 1994, plus uniqueness for mu=1 (already known, now Lean formalized).
Please feel free to join the Github org and contribute to Econ in Lean.
Explain: shorturl.at/vpChP
The Big Mac Index want to be free
bigmacindex.app/
and live! The Economist locks theirs so you cannot use in teaching. 17 Big-Mac-Less countries: Iraq is included with the substitute "MaDonal BigMack", and Iran with "Mash Donalds Tehran Combo", North Korea is burger-less.
122
I wrote a book review: Angeloni & Gros - Money in Crisis
doi.org/10.1111/1475-4932.70…
196
Life-Cycle Model 27 demos how to use the Guvenen, Karahan, Ozkan & Song (2021) earnings processes. My new article explains the discretization method, and the implications.
doi.org/10.1007/s42973-025-0…
getIMFData() adds GFS databases. Requires minor update to inputs for CPIS and DOT databases. See github for example using GFS.
getHDRData: download data from Human Development Report directly from within Matlab:
robertdkirkby.com/codes-tool…
Works like getFREDData and getIMFData.
Quantitative Macroeconomics: Lessons Learned from Fourteen Replications
doi.org/10.1007/s10614-022-1…
Or check the prepub version with hyperlinks:
dropbox.com/s/xwu5tp1z8sbuy6…
Replicates 14 papers using VFI Toolkit. You can find the results, their accuracy, and some recommendations.
The Pandemic Recession robertdkirkby.com/blog/2021/…
Protected: The Pandemic Recession, part 2: The Recession Itself robertdkirkby.com/blog/2021/…
The Pandemic Recession, part 3: Fiscal and Monetary robertdkirkby.com/blog/2021/…
The Pandemic Recession, part 4: Lockdowns &c. robertdkirkby.com/blog/2021/…
The Pandemic Recession, part 5: Post-Pandemic robertdkirkby.com/blog/2021/…
Jumping at Shadows: The Reserve Bank of New Zealand’s 0.5% rate cut. robertdkirkby.com/blog/2019/…
Published: Cryptocurrencies and Digital Fiat Currencies
doi.org/10.1111/1467-8462.12…
1
Slides on Cryptocurrencies and Digital Fiat:
dropbox.com/s/rr4dugb5ujkj0l…
1

