nicovank / Energy-LanguagesLinks
☆14Updated 3 months ago
Alternatives and similar repositories for Energy-Languages
Users that are interested in Energy-Languages are comparing it to the libraries listed below
Sorting:
- perf: Linux profiling with performance counters☆112Updated last month
- DCPerf benchmark suite for hyperscale cloud applications☆231Updated this week
- 🔋🎯 Thread-level, NUMA-aware energy attribution model for multi-tenancy☆55Updated 2 years ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- Data-Aware Shell☆39Updated 3 years ago
- The repo for NSDI24 paper: SIEVE is Simpler than LRU: an Efficient Turn-Key Eviction Algorithm for Web Caches☆78Updated last year
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year
- Unikraft Applications & Examples Catalog☆80Updated 2 months ago
- DAMON user-space tool☆65Updated last week
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆120Updated last week
- AI/GPU flame graph☆246Updated 4 months ago
- Transactional functions-as-a-service for database-oriented applications.☆155Updated 2 years ago
- This is the user space repo for famfs, the fabric-attached memory file system☆92Updated last week
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Updated last year
- ☆31Updated 4 months ago
- Pie: Programmable LLM Serving☆122Updated this week
- C bindings to the Linux Power Capping Framework in sysfs☆61Updated last year
- Thallium is a C++14 library wrapping Margo, Mercury, and Argobots and providing an object-oriented way to use these libraries.☆13Updated last week
- An advanced benchmarking tool☆193Updated 6 months ago
- A library for constructing allocators and memory pools. It also contains broadly useful abstractions and utilities for memory management.…☆83Updated last week
- Armada is a tool for writing, and proving correct, high-performance concurrent programs.☆148Updated 11 months ago
- ☆34Updated last year
- ☆91Updated this week
- ☆21Updated last year
- The Xr0 Verifier for C☆208Updated 9 months ago
- Hardware Performance Counters monitoring agent for containers.☆15Updated 3 months ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆15Updated last year
- A shell for research papers☆195Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆40Updated 8 months ago
- PowerAPI is a Python framework for building software-defined power meters.☆246Updated last week