Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Carbon | 24 | 3 months ago | 157 | mpl-2.0 | Scala | |||||
Verification-condition-generation-based verifier for the Viper intermediate verification language. | ||||||||||
Emlab Generation | 15 | 6 years ago | 6 | other | Java | |||||
EMlab/emlab-generation is a suite of Agent-Based Models of power generation, dealing with energy and carbon policy questions. There is focus on long-term developments. | ||||||||||
Carbon Index | 6 | 4 years ago | 2 | lgpl-3.0 | Jupyter Notebook | |||||
Calculation of electricity CO₂ intensity at national, state, and NERC regions from 2001-present |