FRBNY-DSGE / DSGE.jl

Solve and estimate Dynamic Stochastic General Equilibrium models (including the New York Fed DSGE)

LeanEconomics / LeanEconomics

Economic theory and the algorithms that solve economic models, formalised in Lean 4 against Mathlib