ACT An Architectural Carbon Modeling Tool for Designing Sustainable Computer Systems
☆14Oct 2, 2022Updated 3 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:
- Hardware and software implementation of Sparsely-active SNNs☆22Mar 6, 2026Updated last month
- A git repo that is creepy☆15Sep 14, 2020Updated 5 years ago
- AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP (Full Paper a…☆26May 18, 2025Updated 11 months ago
- 语音合成端到端TTS模型vits中文版，VITS Mandarin☆15Sep 17, 2022Updated 3 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- A framework to ease parallelization of sequential SAT solvers☆34Jan 14, 2026Updated 3 months ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆28Jul 24, 2025Updated 8 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Medium Access Control layer of 802.15.4☆12Nov 14, 2014Updated 11 years ago
- RTLMeter benchmark suite☆31Updated this week
- Sia GPU miner☆10Jul 20, 2016Updated 9 years ago
- A Python library used to transfer files with QR codes. Input a file, get QR code images. Print, email, or otherwise share your codes. Re-…☆10Sep 15, 2019Updated 6 years ago
- ☆12Feb 17, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- msfinance offers Pythonic way to download market data from morningstar.com☆16Feb 15, 2025Updated last year
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆11May 24, 2019Updated 6 years ago
- Getting Starting with NIMBUS-CORE☆10Dec 16, 2023Updated 2 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 11 years ago
- Post-Silicon Validation Tool based on REVERSI☆11Dec 10, 2025Updated 4 months ago
- RISC-V port to Parallella Board☆13Aug 22, 2016Updated 9 years ago
- Validation Generation for Kubeflow CRD on Kubernetes☆11Jan 25, 2021Updated 5 years ago
- ☆15Sep 14, 2020Updated 5 years ago
- Tool to fetch and parse data about Efabless MPW projects☆15Jan 10, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Feb 6, 2021Updated 5 years ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Source repository for third edition of "Resampling: The New Statistics"☆14Jan 13, 2026Updated 3 months ago
- Wrapper for ETH Ariane Core☆22Sep 2, 2025Updated 7 months ago
- ☆14Jul 14, 2015Updated 10 years ago
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆13May 7, 2019Updated 6 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- A D4M module for Julia. D4M was developed in MATLAB by Dr Jeremy Kepner.☆12Sep 10, 2019Updated 6 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Flood Mapping Intercomparison☆17Nov 5, 2025Updated 5 months ago
- Elastic-net VARMA: hyperparameter optimisation, estimation and forecasting☆11Jan 30, 2023Updated 3 years ago
- (TG'2023) Official code for the paper "Revisiting of AlphaStar" (previously called "Rethinking of AlphaStar"). It compares the raw interf…☆10Sep 6, 2021Updated 4 years ago
- Development area for another repo: Learn_Bluespec_and_RISCV_Design☆13Nov 10, 2025Updated 5 months ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 5 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Feb 1, 2025Updated last year
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆27Apr 8, 2026Updated last week