Awesome Open Source

Programming Languages

Search results for generation carbon

3 search results found

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Emlab Generation ⭐ 15

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

Calculation of electricity CO₂ intensity at national, state, and NERC regions from 2001-present

Related Searches

Python Generation (2,055)

Javascript Generation (957)

Java Generation (729)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.