OttoKaaij / Ticket-To-Sustainability
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Ticket-To-Sustainability
- ☆13Updated 3 months ago
- Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"☆34Updated 11 months ago
- A repository of scripts that can be used to monitor energy consumption.☆15Updated last year
- ☆54Updated 6 months ago
- Increasing carbon efficiency and footprint awareness for software applications.☆22Updated 3 years ago
- This is the official repository for all the code of TheoremLlama☆30Updated last month
- ☆21Updated 11 months ago
- r2e: turn any github repository into a programming agent environment☆88Updated last week
- Notebook and sources for calculating the Cloud Carbon Coefficients used in the Cloud Carbon Footprint project.☆39Updated last year
- A curated list of awesome Green AI resources and tools to reduce the environmental impacts of using and deploying AI.☆50Updated this week
- Energy measurement framework for Mobile Apps☆13Updated 4 years ago
- ☆20Updated this week
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆15Updated last month
- Heavyweight Python dynamic analysis framework☆13Updated 6 months ago
- Training and Benchmarking LLMs for Code Preference.☆22Updated this week
- Cloud Energy is an XGBoost & linear model based on the energy data from the SPECPower database for the cloud to estimate wattage consumpt…☆21Updated last week
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆18Updated 5 months ago
- A Python library to capture the energy consumption of code snippets☆71Updated last year
- ☆18Updated last week
- EvoEval: Evolving Coding Benchmarks via LLM☆60Updated 7 months ago
- Harmonic Datasets☆32Updated 4 months ago
- CRUXEval: Code Reasoning, Understanding, and Execution Evaluation☆111Updated last month
- DafnyBench: A Benchmark for Formal Software Verification☆15Updated last month
- Small, simple agent task environments for training and evaluation☆16Updated last week
- An attribution library for LLMs☆34Updated last month
- Computer power measurement tooling☆25Updated 3 years ago
- End-to-end carbon footprint mod- eling tool☆30Updated 5 months ago
- RepoQA: Evaluating Long-Context Code Understanding☆99Updated last week
- ☆13Updated this week
- Make it easy to automatically and uniformly measure the behavior of many AI Systems.☆26Updated last month