ACT An Architectural Carbon Modeling Tool for Designing Sustainable Computer Systems
☆14Oct 2, 2022Updated 4 years ago
Alternatives and similar repositories for ACT
Users that are interested in ACT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ACT An Architectural Carbon Modeling Tool for Designing Sustainable Computer Systems☆53Jun 17, 2026Updated 4 months ago
- Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive Microservices☆15May 19, 2025Updated last year
- An open-hardware co-design framework for deploying PyTorch models on RISC-V SoCs with custom ML accelerators, enabling rapid design spac…☆15Feb 12, 2025Updated last year
- ☆18Jul 21, 2023Updated 3 years ago
- Get Moving with Pynq on Alveo U50☆15Jul 13, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Study guide for KCNA (Kubernetes and Cloud Native Associate) with practical labs, cheatsheet, and exam practice questions.☆24Sep 7, 2026Updated last month
- about algorithm（关于算法）☆10Jan 26, 2020Updated 6 years ago
- SCARIF is a tool to estimate the embodied carbon emissions of data center servers with accelerator hardware (GPUs, FPGAs, etc.)☆15Updated this week
- Winning Solver of PACE Challenge 2019 Track A☆13Mar 12, 2026Updated 7 months ago
- Sony has an API for retrieving details of the PlayStation Stars service including the progress and rewards an account has earned, but the…☆15Jul 24, 2025Updated last year
- Print HTTP request and response for your endpoint(or work alone)☆14Jun 14, 2026Updated 4 months ago
- Accelerator RTL inspired by VEGETA [HPCA'23] and MicroScopiQ [ISCA'25]☆17Nov 11, 2025Updated 11 months ago
- A git repo that is creepy☆15Sep 14, 2020Updated 6 years ago
- Sirius, an efficient correction mechanism, which significantly boosts Contextual Sparsity models on reasoning tasks while maintaining its…☆22Sep 10, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This repo is for synopsys icc2 flow for skywater 130nm PDK☆15Feb 7, 2023Updated 3 years ago
- 面向Arduino平台的C++标准库☆15Jun 27, 2026Updated 4 months ago
- MICO: Mutual Information and Conic Optimization for feature selection☆17Nov 7, 2022Updated 3 years ago
- rules for writing and typesetting☆26Oct 1, 2021Updated 5 years ago
- 语音合成端到端TTS模型vits中文版，VITS Mandarin☆14Sep 17, 2022Updated 4 years ago
- CNN achieves human-level accuracy in music genre classification☆14May 14, 2017Updated 9 years ago
- Sapsucker Woods 60 Audiovisual Dataset☆19Oct 7, 2022Updated 4 years ago
- Towards Sustainable Learning: Coresets for Data-efficient Deep Learning☆14Jul 5, 2023Updated 3 years ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SRMD super resolution plugin for VapourSynth implemented with ncnn library☆22Feb 5, 2023Updated 3 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- ☆17Oct 15, 2023Updated 3 years ago
- An efficient spatial accelerator enabling hybrid sparse attention mechanisms for long sequences☆34Mar 7, 2024Updated 2 years ago
- A library of VHDL components for Neural Networks☆24Sep 23, 2021Updated 5 years ago
- A digital circuit verification library for Lean4☆12Jul 29, 2026Updated 3 months ago
- Tuning Assistant for Floating point to Fixed point Optimization☆25Jul 30, 2026Updated 3 months ago
- AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP (Full Paper a…☆29May 18, 2025Updated last year
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A fast sparse triangular solver compatible with SciPy.☆10Oct 10, 2026Updated 2 weeks ago
- Hardware and software implementation of Sparsely-active SNNs☆26Mar 6, 2026Updated 7 months ago
- My implementation of an FPGA Deep Neural Network Hardware Accelerator, moved from my bitbucket☆30Jul 31, 2019Updated 7 years ago
- Sail x86 model automatically translated from the ACL2 model☆15Nov 29, 2024Updated last year
- A machine learning-based computer architecture simulator.☆24Aug 2, 2024Updated 2 years ago
- The Verilog source code for DRUM approximate multiplier.☆32May 4, 2023Updated 3 years ago
- Unofficial specification for GtkWave's FST digital waveform file format.☆11Jan 23, 2026Updated 9 months ago