Projects in Awesome Lists tagged with forcing
A curated list of projects in awesome lists tagged with forcing .
https://github.com/iblech/constructive-maximal-ideals
Reifying dynamical algebra: maximal ideals in countable rings, constructively
agda constructive-mathematics forcing mathematics paper ring-theory
Last synced: 05 Mar 2026
https://github.com/climate-resource/input4mips_validation
Validation of input4MIPs data
cmip data forcing input4mips validation
Last synced: 20 Jan 2026
https://github.com/benportner/mirrors_prevent_climate_change
What is more area-efficient in tackling climate change: building mirrors that reflect the sun or building a synthetic fuel plant to replace fossil fuels? An analysis.
albedo engineering forcing geo global liquid mirror power radiative to warming
Last synced: 05 Mar 2026
